Mercurial
Mercurial
>
hg
>
regexp
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
MyhillNerode.thy
2010-11-18
wu
All cases of the Other direction finished
file
|
diff
|
annotate
2010-11-08
urbanc
slight tuning of proof by Chunhan
file
|
diff
|
annotate
2010-11-06
wu
the ALT case is done;
file
|
diff
|
annotate
2010-11-03
urbanc
added more experiments
file
|
diff
|
annotate
2010-10-26
urbanc
more experiments
file
|
diff
|
annotate
2010-10-24
urbanc
a few more experiments, but no proof for the ALT-case
file
|
diff
|
annotate
2010-10-23
wu
add some proofs about the other direction
file
|
diff
|
annotate
2010-10-22
urbanc
deleted two unnecessary lemmas
file
|
diff
|
annotate
2010-10-21
urbanc
tried at the end to prove the other direction (failed at the moment)
file
|
diff
|
annotate
2010-10-21
urbanc
deleted the matcher ate the beginning; made it to work with stable Isabelle and the development version
file
|
diff
|
annotate
2010-10-20
wu
former version has a ugly usage of "overloaded";
file
|
diff
|
annotate
2010-10-03
urbanc
test
file
|
diff
|
annotate
2010-10-03
urbanc
added initial version by Chunhan
file
|
diff
|
annotate
less
more
(0)
tip