Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-3000
-1000
-300
-100
-48
+48
+100
+300
+1000
+3000
+10000
+30000
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.
*** empty log message ***
1997-11-05, by oheimb
tuned;
1997-11-05, by wenzelm
abandoned generation of tmp files
1997-11-05, by oheimb
various improvements
1997-11-05, by oheimb
reflecting changes of isa2latex
1997-11-05, by oheimb
several minor improvements
1997-11-05, by oheimb
added ax2isa
1997-11-05, by oheimb
added ax2isa
1997-11-05, by oheimb
added isabelle14 and isabelle24
1997-11-05, by oheimb
removed gererated files
1997-11-05, by oheimb
added entry for manual
1997-11-05, by oheimb
*** empty log message ***
1997-11-05, by oheimb
Now introduces Safe_tac
1997-11-05, by paulson
Ran expandshort, especially to introduce Safe_tac
1997-11-05, by paulson
Adapted to removal of UN1_I, etc
1997-11-05, by paulson
Adapted to removal of UN1_I, etc
1997-11-05, by paulson
UNIV now a constant; UNION1, INTER1 now translations and no longer have
1997-11-05, by paulson
Expandshort; new theorem le_square
1997-11-05, by paulson
generalized UNION1 to UNION
1997-11-05, by paulson
Tidied Key_supply3
1997-11-05, by paulson
fixed comment
1997-11-05, by paulson
UNIV & UNION1
1997-11-05, by paulson
Ran expandshort, especially to introduce Safe_tac
1997-11-05, by paulson
Ran expandshort, especially to introduce Safe_tac
1997-11-05, by paulson
adapted typed_print_translation;
1997-11-05, by wenzelm
tuned record_info;
1997-11-05, by wenzelm
fixed exception OPTION;
1997-11-05, by wenzelm
adapted pure_trfunsT;
1997-11-05, by wenzelm
print translation: added show_sorts argument;
1997-11-05, by wenzelm
adapted syn_ext_trfunsT;
1997-11-05, by wenzelm
adapted extend_trfunsT;
1997-11-05, by wenzelm
fixed exception OPTION;
1997-11-05, by wenzelm
added TYPE syntax;
1997-11-05, by wenzelm
fixed exception OPTION;
1997-11-05, by wenzelm
adapted add_trfunsT;
1997-11-05, by wenzelm
adapted add_trfunsT;
1997-11-05, by wenzelm
fixed exception OPTION;
1997-11-05, by wenzelm
base root = "";
1997-11-05, by wenzelm
Added an alternativ version of AutoChopper and a theory for the conversion of
1997-11-05, by nipkow
removed redundant ball_image
1997-11-04, by oheimb
removed redundant ball_empty and bex_empty (see equalities.ML)
1997-11-04, by oheimb
added several theorems
1997-11-04, by oheimb
added the, option_map, and case analysis theorems
1997-11-04, by oheimb
added zip and nodup
1997-11-04, by oheimb
added theorems for Eps
1997-11-04, by oheimb
tuned usage;
1997-11-04, by wenzelm
HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML;
1997-11-04, by wenzelm
tuned to make non-Poly/MLs happy;
1997-11-04, by wenzelm
less
more
|
(0)
-3000
-1000
-300
-100
-48
+48
+100
+300
+1000
+3000
+10000
+30000
tip