merged
No related branches found
No related tags found
Showing
- thys/Functional-Automata/AutoRegExp.thy 5 additions, 3 deletionsthys/Functional-Automata/AutoRegExp.thy
- thys/Functional-Automata/RegExp2NA.thy 9 additions, 7 deletionsthys/Functional-Automata/RegExp2NA.thy
- thys/Functional-Automata/RegExp2NAe.thy 28 additions, 7 deletionsthys/Functional-Automata/RegExp2NAe.thy
- thys/Functional-Automata/RegSet_of_nat_DA.thy 6 additions, 9 deletionsthys/Functional-Automata/RegSet_of_nat_DA.thy
- thys/Functional-Automata/Regular_Exp.thy 16 additions, 14 deletionsthys/Functional-Automata/Regular_Exp.thy
- thys/Functional-Automata/Regular_Set.thy 125 additions, 28 deletionsthys/Functional-Automata/Regular_Set.thy
Loading
Please register or sign in to comment