Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
1994-08-23
wenzelm
removed constant _constrain from Pure sig;
changeset
|
files
1994-08-22
lcp
ZF/upair/consE', UnE': new
changeset
|
files
1994-08-22
lcp
ZF/Cardinal: some results moved here from CardinalArith
changeset
|
files
1994-08-22
lcp
Pure/Thy/thy_parse/THY_PARSE: deleted duplicate specifications of parens,
changeset
|
files
1994-08-22
lcp
HOLCF/Lift1.thy: now imports Sum
changeset
|
files
1994-08-19
wenzelm
replaced Lexicon.scan_id by Scanner.scan_id;
changeset
|
files
1994-08-19
wenzelm
replaced add_defns_i by add_defs_i;
changeset
|
files
1994-08-19
wenzelm
replaced sextension.ML by syn_trans.ML;
changeset
|
files
1994-08-19
wenzelm
slightly changed args of infer_types;
changeset
|
files
1994-08-19
wenzelm
added inferT_axm;
changeset
|
files
1994-08-19
wenzelm
replaced mapst by map;
changeset
|
files
1994-08-19
wenzelm
added pretty_sg;
changeset
|
files
1994-08-19
wenzelm
added add_defs, add_defs_i;
changeset
|
files
1994-08-19
wenzelm
cleaned sig;
changeset
|
files
Loading...
(0)
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip