Re: [isabelle] proofs about grammars?



For automata and regular expressions see the AFP entry

http://afp.sourceforge.net/entries/Functional-Automata.shtml

Tobias





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.