diff --git a/Automata - Library.cat b/Automata - Library.cat index ca2ea48..7ea2fd8 100644 --- a/Automata - Library.cat +++ b/Automata - Library.cat @@ -82,12 +82,143 @@