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
.
IsaMakefile
2012-08-29
urbanc
for slides
file
|
diff
|
annotate
2012-02-22
urbanc
partially updated conference paper; slightly tuned journal paper
file
|
diff
|
annotate
2012-02-20
urbanc
some polishing of the repository
file
|
diff
|
annotate
2011-11-20
urbanc
added slides for a talk in St Andrews
file
|
diff
|
annotate
2011-08-22
urbanc
changes according to afp-submission
file
|
diff
|
annotate
2011-05-18
urbanc
added directory for journal version; took uptodate version of the theory files
file
|
diff
|
annotate
2011-02-07
urbanc
added an option fullpaper to IsaMakefile
file
|
diff
|
annotate
2011-02-04
urbanc
more on the introduction
file
|
diff
|
annotate
2011-02-03
zhang
Copy Myhill.thy into Myhill_2.thyand put Myhill_2.thy into logic ListP. Myhill.thy is now almost empty ready to be extended by new manuscripts.
file
|
diff
|
annotate
2011-02-02
urbanc
a little bit in the introduction
file
|
diff
|
annotate
2011-01-31
zhang
Myhill.thy IsabelleMakefile modified
file
|
diff
|
annotate
2011-01-26
wu
added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP
file
|
diff
|
annotate
2011-01-25
zhang
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
file
|
diff
|
annotate
2011-01-24
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].
file
|
diff
|
annotate
2010-11-25
urbanc
added paper
file
|
diff
|
annotate
2010-11-03
urbanc
added initial slides for informal talk in Cambridge
file
|
diff
|
annotate
less
more
(0)
tip