VeriFIT · Adda0 · Sep 27, 2023 · Sep 19, 2023
diff --git a/README.md b/README.md
@@ -5,8 +5,7 @@
 [![Python-Binding (build-&-test)](https://github.com/VeriFIT/mata/actions/workflows/python-binding.yml/badge.svg?branch=devel)](https://github.com/VeriFIT/mata/actions/workflows/python-binding.yml)
 [![codecov](https://codecov.io/gh/VeriFIT/mata/branch/devel/graph/badge.svg?token=9VAVD19N4D)](https://codecov.io/gh/VeriFIT/mata)
 
-Mata is an open source automata library that offers interface for different kinds of automata (NFA,
-AFA, etc.). Currently, Mata offers two interfaces:
+Mata is an open source automata library that offers interface for different kinds of automata (NFA, etc.). Currently, Mata offers two interfaces:
 
   1. An efficient library implemented in C/C++
   2. A flexible wrapper implemented in Python that uses the efficient library

diff --git a/doc/afa.rst b/doc/afa.rst
diff --git a/doc/index.rst b/doc/index.rst
@@ -13,7 +13,6 @@ Welcome to automata-library's documentation!
    introduction
    overview
    nfa
-   afa
 
 
 Indices and tables

diff --git a/doc/overview.rst b/doc/overview.rst
@@ -5,5 +5,3 @@ Supported Classes of Automata
 -----------------------------
 
 .. doxygenstruct:: mata::nfa::Nfa
-
-.. doxygenstruct:: mata::afa::Afa
diff --git a/examples/example05-parsing-afa.cc b/examples/example05-parsing-afa.cc
-Original file line number
+Diff line change
@@ Expand Up / @@ -13,7 +13,6 @@ Welcome to automata-library's documentation! @@
        introduction
        overview
        nfa
-       afa
     Indices and tables
@@ Expand Down @@
Original file line number	Diff line number	Diff line change
Expand Up		@@ -5,5 +5,3 @@ Supported Classes of Automata
		-----------------------------

		.. doxygenstruct:: mata::nfa::Nfa

		.. doxygenstruct:: mata::afa::Afa