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
.
Journal/Paper.thy
2011-08-22
urbanc
changes according to afp-submission
file
|
diff
|
annotate
2011-08-19
urbanc
added comments by Xingyuan
file
|
diff
|
annotate
2011-08-17
urbanc
added an example for non-regularity and continuation lemma (the example does not yet work)
file
|
diff
|
annotate
2011-08-17
urbanc
a little tuning
file
|
diff
|
annotate
2011-08-16
urbanc
final(?) version of the paper
file
|
diff
|
annotate
2011-08-15
urbanc
a bit more polishing
file
|
diff
|
annotate
2011-08-15
urbanc
polishing of the closure section and conclusion
file
|
diff
|
annotate
2011-08-11
urbanc
some typos
file
|
diff
|
annotate
2011-08-11
urbanc
finished section about derivatives and closure properties
file
|
diff
|
annotate
2011-08-09
urbanc
more on paper
file
|
diff
|
annotate
2011-08-05
urbanc
more on the derivatives section
file
|
diff
|
annotate
2011-08-03
urbanc
added more to the derivatives section
file
|
diff
|
annotate
2011-08-03
urbanc
completed the taging-function section
file
|
diff
|
annotate
2011-08-03
urbanc
more on the paper
file
|
diff
|
annotate
2011-08-03
urbanc
cleaned up the proofs in Myhill_2
file
|
diff
|
annotate
2011-08-02
urbanc
a version of the proof which dispenses with the notion of string-subtraction
file
|
diff
|
annotate
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-28
urbanc
small improvements
file
|
diff
|
annotate
2011-07-28
urbanc
added more examles
file
|
diff
|
annotate
2011-07-28
urbanc
more one the paper
file
|
diff
|
annotate
2011-07-27
urbanc
latest version of the journal paper
file
|
diff
|
annotate
2011-07-27
urbanc
polished the introduction
file
|
diff
|
annotate
2011-07-26
urbanc
more on the section about derivatives
file
|
diff
|
annotate
2011-07-26
urbanc
more on the introduction of the journal paper
file
|
diff
|
annotate
2011-07-25
urbanc
more on the journal paper
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
added a journal version
file
|
diff
|
annotate
2011-05-18
urbanc
added directory for journal version; took uptodate version of the theory files
file
|
diff
|
annotate
|
base
less
more
(0)
tip