Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-3000
-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.
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
tuned 'records' stuff;
1997-11-04, by wenzelm
added pretty_ctyp;
1997-11-04, by wenzelm
tuned;
1997-11-04, by wenzelm
type object = exn (enhance readability);
1997-11-04, by wenzelm
*** empty log message ***
1997-11-04, by oheimb
* removed "axioms" and "generated by" section
1997-11-04, by oheimb
simplified (and corrected) syntax definition of fapp
1997-11-04, by oheimb
data kinds 'datatypes', data kinds 'records' added
1997-11-04, by narasche
removed old datatype_info;
1997-11-04, by wenzelm
added Thy/path.ML;
1997-11-04, by wenzelm
Logic.loops -> Logic.rewrite_rule_ok
1997-11-04, by nipkow
logic: loops -> rewrite_rule_ok
1997-11-04, by nipkow
added path.ML;
1997-11-04, by wenzelm
added base;
1997-11-04, by wenzelm
Abstract algebra of file paths. External representation Unix-style.
1997-11-04, by wenzelm
tuned;
1997-11-04, by wenzelm
removed old thy data stuff;
1997-11-04, by wenzelm
fixed set_current_thy pattern;
1997-11-04, by wenzelm
isatool fixclasimp;
1997-11-04, by wenzelm
isatool fixclasimp;
1997-11-03, by wenzelm
adapted to new datatypes thy info;
1997-11-03, by wenzelm
tuned;
1997-11-03, by wenzelm
datatypes;
1997-11-03, by wenzelm
nat datatype_info moved to Nat.thy;
1997-11-03, by wenzelm
added MLtext section;
1997-11-03, by wenzelm
added distinct_fst_string;
1997-11-03, by wenzelm
tuned: distinct_fst_string;
1997-11-03, by wenzelm
isatool fixclasimp;
1997-11-03, by wenzelm
export const_decls parser;
1997-11-03, by wenzelm
isatool fixclasimp;
1997-11-03, by wenzelm
CLASET';
1997-11-03, by wenzelm
moved cladata.ML, simpdata.ML to ROOT.ML;
1997-11-03, by wenzelm
adapted to new implicit claset;
1997-11-03, by wenzelm
adapted to new implicit simpset;
1997-11-03, by wenzelm
added claset thy_data;
1997-11-03, by wenzelm
added simpset thy_data;
1997-11-03, by wenzelm
isatool fixclasimp;
1997-11-03, by wenzelm
isatool fixclasimp;
1997-11-03, by wenzelm
isatool fixclasimp;
1997-11-03, by wenzelm
added thy_data;
1997-11-03, by wenzelm
use "hologic.ML"; use "cladata.ML"; use "simpdata.ML"; moved to ROOT.ML;
1997-11-03, by wenzelm
adapted to new implicit simpset;
1997-11-03, by wenzelm
adapted to new implicit claset;
1997-11-03, by wenzelm
fixed thy dependencies;
1997-11-03, by wenzelm
aded thy_data;
1997-11-03, by wenzelm
HOL theory data.
1997-11-03, by wenzelm
added thy_data.ML;
1997-11-03, by wenzelm
new implicit simpset mechanism based on Sign.sg anytype data;
1997-11-03, by wenzelm
new implicit claset mechanism based on Sign.sg anytype data;
1997-11-03, by wenzelm
adapted to new implicit claset mechanism;
1997-11-03, by wenzelm
fix references to implicit claset and simpset;
1997-11-03, by wenzelm
do not overwrite backup files;
1997-11-03, by wenzelm
set_session renamed to add_session;
1997-11-03, by wenzelm
tuned error msg;
1997-11-03, by wenzelm
made SML/97 happy;
1997-11-03, by wenzelm
expand_option_bind -> split_option_bind
1997-11-03, by nipkow
less
more
|
(0)
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip