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
.
Myhill_2.thy
2011-07-31
urbanc
some experiments with the proofs in Myhill_2
file
|
diff
|
annotate
2011-07-28
urbanc
added a picture
file
|
diff
|
annotate
2011-07-25
urbanc
made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic
file
|
diff
|
annotate
2011-06-02
urbanc
updated theories and itp-paper
file
|
diff
|
annotate
2011-05-18
urbanc
added directory for journal version; took uptodate version of the theory files
file
|
diff
|
annotate
2011-05-09
urbanc
added comments from Chunhan
file
|
diff
|
annotate
2011-03-23
urbanc
added the most current versions of the theories.
file
|
diff
|
annotate
2011-02-20
urbanc
comments by Xingyuan
file
|
diff
|
annotate
2011-02-20
urbanc
finished picture
file
|
diff
|
annotate
2011-02-20
urbanc
added pictures for seq-case
file
|
diff
|
annotate
2011-02-19
urbanc
ALT case done
file
|
diff
|
annotate
2011-02-19
urbanc
first two proofs in 2 direction
file
|
diff
|
annotate
2011-02-19
urbanc
first proof
file
|
diff
|
annotate
2011-02-19
urbanc
updated second direction
file
|
diff
|
annotate
2011-02-18
urbanc
polished everything
file
|
diff
|
annotate
2011-02-17
urbanc
more on the conclusion
file
|
diff
|
annotate
2011-02-16
urbanc
minor updated
file
|
diff
|
annotate
2011-02-13
zhang
More into the second direction
file
|
diff
|
annotate
2011-02-07
urbanc
parts of the 3 section
file
|
diff
|
annotate
2011-02-03
zhang
Myhill_2.thy added
file
|
diff
|
annotate
less
more
(0)
tip