regexp: Graph

Mercurial Mercurial > hg > regexp / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -50 -30 +30 +50 +100 +300 tip

more to the intro
2011-02-03, by urbanc
a bit more tuning on the introduction
2011-02-03, by urbanc
more on the intro
2011-02-02, by urbanc
a little bit in the introduction
2011-02-02, by urbanc
Myhill.pdf modified
2011-02-02, by zhang
removed the inductive definition of Star and replaced it by a definition in terms of pow
2011-02-02, by urbanc
Myhill.thy IsabelleMakefile modified
2011-01-31, by zhang
a bit more on the paper
2011-01-31, by urbanc
small typo
2011-01-30, by urbanc
tuning of the syntax; needs the stmaryrd latex package
2011-01-30, by urbanc
some tuning of the paper
2011-01-30, by urbanc
revised proof of Ardens lemma
2011-01-30, by urbanc
Illustration added together with renewed explainations for case STAR.
2011-01-30, by zhang
Myhill.thy and Myhill_1.thy changed.
2011-01-29, by zhang
slightly tuned the main lemma and the finiteness proofs
2011-01-28, by urbanc
test
2011-01-28, by wu
More improvement
2011-01-28, by zhang
added a recent paper about reg exps and automata
2011-01-27, by wu
added my changes again
2011-01-27, by urbanc
Trying to solve the confict
2011-01-27, by zhang
a newer version
2011-01-27, by zhang
tuned a bit more the last STAR-proof
2011-01-27, by wu
tuned a little bit the section about finite partitions
2011-01-27, by urbanc
Delete generated
2011-01-26, by zhang
ITP-Paper loads Myhill.thy
2011-01-26, by wu
added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP
2011-01-26, by wu
made the theory work under both Isabelle 2009 and 2011
2011-01-26, by urbanc
Just checkin
2011-01-26, by zhang
Small modification
2011-01-26, by zhang
ok
2011-01-26, by zhang

less more | (0) -50 -30 +30 +50 +100 +300 tip

regexp