Mercurial
Mercurial
>
repos
>
isabelle
/ 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
.
src/ZF/OrderArith.thy
2010-03-13
wenzelm
removed old CVS Ids;
file
|
diff
|
annotate
2007-10-07
wenzelm
modernized specifications;
file
|
diff
|
annotate
2007-04-15
wenzelm
read prop as prop, not term;
file
|
diff
|
annotate
2005-06-17
haftmann
migrated theory headers to new format
file
|
diff
|
annotate
2003-08-27
skalberg
Extended the notion of letter and digit, such that now one may use greek,
file
|
diff
|
annotate
2003-07-21
paulson
Tidied some examples
file
|
diff
|
annotate
2003-02-19
paulson
fixed anomalies in the installed classical rules
file
|
diff
|
annotate
2003-01-23
paulson
tidying (by script)
file
|
diff
|
annotate
2002-10-09
paulson
Re-organization of Constructible theories
file
|
diff
|
annotate
2002-08-28
paulson
various new lemmas for Constructible
file
|
diff
|
annotate
2002-08-21
paulson
tweaks and new lemmas
file
|
diff
|
annotate
2002-07-14
paulson
improved presentation markup
file
|
diff
|
annotate
2002-07-02
paulson
Tidying and introduction of various new theorems
file
|
diff
|
annotate
2002-05-13
paulson
converted Order.ML OrderType.ML OrderArith.ML to Isar format
file
|
diff
|
annotate
2000-09-07
paulson
a number of new theorems
file
|
diff
|
annotate
1996-02-06
clasohm
expanded tabs
file
|
diff
|
annotate
1995-12-09
clasohm
removed quotes from consts and syntax sections
file
|
diff
|
annotate
1995-06-22
clasohm
removed \...\ inside strings
file
|
diff
|
annotate
1994-11-28
lcp
replaced "rules" by "defs"
file
|
diff
|
annotate
1994-06-23
lcp
modifications for cardinal arithmetic
file
|
diff
|
annotate
less
more
(0)
tip