2011-01-28 zhang More improvement
2011-01-27 wu added a recent paper about reg exps and automata
2011-01-27 urbanc added my changes again
2011-01-27 zhang Trying to solve the confict
2011-01-27 zhang a newer version
2011-01-27 wu tuned a bit more the last STAR-proof
2011-01-27 urbanc tuned a little bit the section about finite partitions
2011-01-26 zhang Delete generated
2011-01-26 wu ITP-Paper loads Myhill.thy
2011-01-26 wu added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP
2011-01-26 urbanc made the theory work under both Isabelle 2009 and 2011
2011-01-26 zhang Just checkin
2011-01-26 zhang Small modification
2011-01-26 zhang ok
Loading...
(0) -14 +14 +100 +300 tip