Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-1000
-300
-100
-60
+60
+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.
tuned;
1997-03-07, by wenzelm
renamed fonts;
1997-03-07, by wenzelm
renamed font;
1997-03-07, by wenzelm
removed lparr, rparr, empty, succeq, ge, rrightarrow;
1997-03-07, by wenzelm
renamed SYSTEM to RAW_ML_SYSTEM;
1997-03-07, by wenzelm
added \<Colon> syntax for constraints (more compact!);
1997-03-07, by wenzelm
"bool lift" now syntax instead of type abbrev;
1997-03-07, by wenzelm
*** empty log message ***
1997-03-07, by wenzelm
added atac 2 (again);
1997-03-07, by wenzelm
removed (| |) symbols syntax;
1997-03-07, by wenzelm
fixed Not syntax;
1997-03-07, by wenzelm
tuned comment;
1997-03-07, by wenzelm
tuned comments;
1997-03-07, by wenzelm
Isabelle installation notes;
1997-03-07, by wenzelm
now sans serifs;
1997-03-07, by wenzelm
tuned;
1997-03-07, by wenzelm
*** empty log message ***
1997-03-07, by wenzelm
build - compile parts of the Isabelle system;
1997-03-07, by wenzelm
moved settings comment to build;
1997-03-07, by wenzelm
Removed some polymorphic equality tests
1997-03-07, by paulson
Improved indentation of aconv
1997-03-07, by paulson
Corrected aeconv and exported it
1997-03-07, by paulson
Prevent permutation of assumptions in hyp_subst_tac
1997-03-07, by paulson
Deleted steps made redundant by the stronger eq_assume_tac
1997-03-07, by paulson
Eta-expanded some declarations for compatibility with value polymorphism
1997-03-07, by paulson
Tidied and updated
1997-03-07, by paulson
more robust check;
1997-03-07, by wenzelm
renamed, improved, augmented version of isabelle fonts;
1997-03-07, by wenzelm
tuned comment;
1997-03-07, by wenzelm
tuned;
1997-03-07, by wenzelm
pass xterm mode by default;
1997-03-07, by wenzelm
Minor changes due to primrec definition for ^
1997-03-06, by pusch
primrec definition for ^
1997-03-06, by pusch
Minor changes due to primrec definition for nth
1997-03-06, by pusch
primrec definition for nth
1997-03-06, by pusch
Oops, forgot to remove -x again;
1997-03-06, by wenzelm
added ISABELLE_HOME normalization;
1997-03-06, by wenzelm
even more robust and user friendly invocation (no longer requieres
1997-03-06, by wenzelm
improved DESCRIPTION;
1997-03-05, by wenzelm
added -a, -b options;
1997-03-05, by wenzelm
*** empty log message ***
1997-03-05, by wenzelm
*** empty log message ***
1997-03-05, by wenzelm
*** empty log message ***
1997-03-05, by wenzelm
Added comment
1997-03-05, by paulson
Now uses eta_contract_atom for greater speed
1997-03-05, by paulson
Eta-expanded declarations of addSIs2, etc., to avoid polymorphism errors
1997-03-05, by paulson
HOL: renaming of "not"
1997-03-05, by paulson
Declares eta_contract_atom; fixed comment; some tidying
1997-03-05, by paulson
Added comment
1997-03-05, by paulson
Now declares needs_filtered_use, but still unusable with current MLWorks
1997-03-05, by paulson
Now uses rotate_tac and eta_contract_atom for greater speed
1997-03-05, by paulson
New version of InterE, like its ZF counterpart
1997-03-05, by paulson
Renamed constant "not" to "Not"
1997-03-05, by paulson
Renamed constant "not" to "Not"
1997-03-04, by paulson
Renamed constant "not" to "Not"
1997-03-04, by paulson
best_tac avoids looping with change to RepFun_eqI in claset
1997-03-04, by paulson
Now uses RepFun_eqI instead of RepFunI;
1997-03-04, by paulson
Updated reference to Pelletier erratum
1997-03-04, by paulson
Removed needless quotes
1997-03-04, by paulson
removed bash debug;
1997-03-03, by wenzelm
less
more
|
(0)
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip