Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2006-05-23
wenzelm
pretty_full_theory: tuned output of definitions;
changeset
|
files
2006-05-23
wenzelm
export plain_args;
changeset
|
files
2006-05-22
wenzelm
Defs.specifications_of: lhs/rhs now use typargs;
changeset
|
files
2006-05-22
wenzelm
removed unchecked'';
changeset
|
files
2006-05-22
wenzelm
pretty_full_theory: defs;
changeset
|
files
2006-05-22
wenzelm
specifications_of: lhs/rhs represented as typargs;
changeset
|
files
2006-05-22
wenzelm
export raw_unifys, could_unifys;
changeset
|
files
2006-05-20
wenzelm
made smlnj happy;
changeset
|
files
2006-05-20
wenzelm
export raw_matches;
changeset
|
files
2006-05-20
wenzelm
tuned Defs interfaces;
changeset
|
files
2006-05-20
wenzelm
yet another re-implementation:
changeset
|
files
2006-05-20
wenzelm
removed obsolete partition (cf. List.partition);
changeset
|
files
2006-05-20
wenzelm
class axiomatization: finals;
changeset
|
files
2006-05-20
wenzelm
abs: precise typing;
changeset
|
files
2006-05-20
wenzelm
added syntax for 'unchecked';
changeset
|
files
2006-05-20
wenzelm
primrec (unchecked);
changeset
|
files
2006-05-20
wenzelm
List.partition;
changeset
|
files
2006-05-20
wenzelm
ax_derivs: precise typing;
changeset
|
files
2006-05-20
wenzelm
pow: unchecked;
changeset
|
files
2006-05-20
wenzelm
removed obsolete 'finalconsts';
changeset
|
files
2006-05-17
wenzelm
* Pure: syntax 'CONST name' produces a fully internalized constant;
changeset
|
files
2006-05-17
wenzelm
added CONST syntax;
changeset
|
files
2006-05-17
wenzelm
export generic term_syntax;
changeset
|
files
2006-05-17
wenzelm
consts: replaced early'' flag by inverted authentic'';
changeset
|
files
2006-05-17
wenzelm
added mapping;
changeset
|
files
2006-05-17
wenzelm
replaced early'' flag by inverted authentic'';
changeset
|
files
2006-05-17
wenzelm
renamed CONST to CONSTANT;
changeset
|
files
2006-05-17
paulson
removing the string array from the result of get_clasimp_atp_lemmas
changeset
|
files
Loading...
(0)
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip