2011-02-09 urbanc added Xingyuan's changes with the while combinator
2011-02-09 urbanc added an example
2011-02-09 urbanc a bit more on the paper
2011-02-09 urbanc added something about Setalt and folds
2011-02-09 urbanc deleted the non_empty invariant
2011-02-09 urbanc tuned comments and names in Myhill_1
2011-02-09 urbanc separated the definition of folds into a separate file
2011-02-09 urbanc saved a copy of the current Myhill for reference
2011-02-08 urbanc a bit more on the paper
2011-02-08 urbanc added coments about functions
2011-02-08 urbanc more direct definitions
2011-02-08 urbanc deleted lam_of
2011-02-08 urbanc started to define things more directly
2011-02-08 zhang More explaination on equational system
2011-02-08 urbanc small additions
2011-02-08 urbanc added an abbreviation for folds ALT NULL
2011-02-07 urbanc parts of the 3 section
2011-02-07 urbanc added bib-file
2011-02-07 zhang More into first direction
2011-02-07 urbanc added an option fullpaper to IsaMakefile
2011-02-07 urbanc more on the paper
2011-02-06 urbanc slightly more on the paper
2011-02-06 zhang A formal presentation of automaton and Myhill-Nerrode theorem added to serve as a basis for further discussion
2011-02-05 zhang Check in Myhill.thy before trying another way to explain DFA
2011-02-05 urbanc more intro
2011-02-04 urbanc more on the introduction
2011-02-04 urbanc exercise about arden from TU Munich
2011-02-04 zhang Added something to Myhill.thy, trying to explain the relationship between finite automata and language partition.
2011-02-03 zhang Myhill_2.thy added
2011-02-03 zhang Copy Myhill.thy into Myhill_2.thyand put Myhill_2.thy into logic ListP. Myhill.thy is now almost empty ready to be extended by new manuscripts.
(0) -50 -30 +30 +50 +100 +300 tip