Commit [8f950e] default  Maximize  Restore  History

merged

nipkow nipkow 2010-04-20

changed thys/Functional-Automata/AutoRegExp.thy
removed thys/Functional-Automata/RegExp.thy
changed thys/Functional-Automata/RegExp2NA.thy
changed thys/Functional-Automata/RegExp2NAe.thy
removed thys/Functional-Automata/RegSet.thy
changed thys/Functional-Automata/RegSet_of_nat_DA.thy
added thys/Functional-Automata/Regular_Exp.thy
added thys/Functional-Automata/Regular_Set.thy
thys/Functional-Automata/AutoRegExp.thy Diff Switch to side-by-side view
Loading...
thys/Functional-Automata/RegExp2NA.thy Diff Switch to side-by-side view
Loading...
thys/Functional-Automata/RegExp2NAe.thy Diff Switch to side-by-side view
Loading...
thys/Functional-Automata/RegSet_of_nat_DA.thy Diff Switch to side-by-side view
Loading...
thys/Functional-Automata/Regular_Exp.thy Diff Switch to side-by-side view
Loading...
thys/Functional-Automata/Regular_Set.thy Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks