Mercurial
Mercurial
>
hg
>
regexp
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-12
+12
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
1. Myhill.thy is proved to correct some typos. 2. Some sections are added to the first direction. 3. The small theory of list difference is now separated into Prefix_subtract.thy and the ROOT.ML
2011-01-25, by zhang
Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy].
2011-01-24, by zhang
Beautifying of the Other Direction is finished.
2011-01-07, by wu
Rewritten of hard direction once more. To make it looking better.
2010-12-31, by wu
Add new file for the new definition of the hard direction's simplification.
2010-12-14, by wu
added a recent paper by Tobias Nipkow on regular expressions
2010-11-26, by urbanc
added interesting paper by rutten
2010-11-26, by urbanc
added paper
2010-11-25, by urbanc
All cases of the Other direction finished
2010-11-18, by wu
added a test file
2010-11-10, by urbanc
my slides from the talk in Cambridge
2010-11-10, by urbanc
added my slides
2010-11-10, by urbanc
less
more
|
(0)
-12
+12
+100
+300
tip