diff --git a/Automata - Library.cat b/Automata - Library.cat index e7147c0..26fda21 100644 --- a/Automata - Library.cat +++ b/Automata - Library.cat @@ -263,12 +263,13 @@ - + + + + + + - - - -