isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -3000 -1000 -120 +120 +1000 +3000 +10000 +30000 tip

Removed comment.
1997-10-16, by nipkow
tuned;
1997-10-16, by wenzelm
removed begin;
1997-10-16, by wenzelm
fixed prep_ext;
1997-10-16, by wenzelm
Simplified proof.
1997-10-16, by nipkow
Simplified proof because of better simplifier.
1997-10-16, by nipkow
Various new lemmas. Improved conversion of equations to rewrite rules:
1997-10-16, by nipkow
added transfer: theory -> thm -> thm;
1997-10-16, by wenzelm
oops;
1997-10-16, by wenzelm
The simplifier has been improved a little: equations s=t which used to be
1997-10-16, by nipkow
fixed dependencies;
1997-10-16, by wenzelm
transfer thy Ord_nat;
1997-10-16, by wenzelm
sevaral goals restated in mono.thy;
1997-10-16, by wenzelm
moved rank_Inl, rank_Inr from Epsilon.ML to Univ.ML;
1997-10-16, by wenzelm
transfer InfDatatype.thy Limit_VfromE;
1997-10-16, by wenzelm
transfer CardinalArith.thy nat_into_Ord;
1997-10-16, by wenzelm
improved pretty_arity;
1997-10-16, by wenzelm
added merge_theories (new name arg);
1997-10-16, by wenzelm
fixed merge_theories;
1997-10-16, by wenzelm
revert to 1.3;
1997-10-16, by wenzelm
revert to 1.1;
1997-10-16, by wenzelm
Added last, butlast, dropped ttl.
1997-10-16, by nipkow
lala
1997-10-16, by mueller
Eta-expansion of function declarations, for value polymorphism
1997-10-16, by paulson
remove merge_theories;
1997-10-15, by wenzelm
make_draft replaced by prep_ext;
1997-10-15, by wenzelm
tuned;
1997-10-15, by wenzelm
eliminated aliasing merge: now always extends;
1997-10-15, by wenzelm
tuned comment;
1997-10-15, by wenzelm
improved print_data;
1997-10-15, by wenzelm
tuned;
1997-10-15, by wenzelm
slightly changed interfaces for oracles;
1997-10-15, by wenzelm
Added ack to Mateja Jamnik.
1997-10-15, by nipkow
tuned;
1997-10-15, by wenzelm
tuned;
1997-10-14, by wenzelm
added additional generic data;
1997-10-14, by wenzelm
Sign.print_data;
1997-10-14, by wenzelm
added init_data, get_data, put_data;
1997-10-14, by wenzelm
added data.ML;
1997-10-14, by wenzelm
Arbitrarily typed data.
1997-10-14, by wenzelm
Patch to avoid simplification of ~EX to ALL~
1997-10-14, by paulson
Two lemmas are already in List.
1997-10-14, by nipkow
More lemmas, esp. ~Bex and ~Ball conversions.
1997-10-14, by nipkow
Added neagtion rules for Ball and Bex.
1997-10-14, by nipkow
tuned;
1997-10-14, by wenzelm
browser info;
1997-10-14, by wenzelm
rearranged and added TLA
1997-10-14, by paulson
fixed extern;
1997-10-13, by wenzelm
uses Sign.str_of_classrel, Sign.str_of_arity, Sign.str_of_arity;
1997-10-13, by wenzelm
uses Sign.str_of_sort;
1997-10-13, by wenzelm
fixed dots;
1997-10-13, by wenzelm
print_goals: optional output of const types (set show_consts);
1997-10-13, by wenzelm
merge: drops path elements;
1997-10-13, by wenzelm
Absolute URL's for documentation
1997-10-13, by merz
non-transparent logo;
1997-10-13, by wenzelm
fixed dots;
1997-10-13, by wenzelm
hierachically structured name spaces;
1997-10-13, by wenzelm
Changed logo.
1997-10-12, by berghofe
Added command for copying new logo.
1997-10-12, by berghofe
fixed dots;
1997-10-10, by wenzelm
fixed dots;
1997-10-10, by wenzelm
fixed fixed dots;
1997-10-10, by wenzelm
fixed dots;
1997-10-10, by wenzelm
fixed dots;
1997-10-10, by wenzelm
tuned;
1997-10-10, by wenzelm
fixed dots;
1997-10-10, by wenzelm
fixed dots;
1997-10-10, by wenzelm
fixed dots;
1997-10-10, by wenzelm
BAD_space_explode;
1997-10-10, by wenzelm
tuned;
1997-10-10, by wenzelm
fixed space_explode, old one retained as BAD_space_explode;
1997-10-10, by wenzelm
scan_longid moved to Syntax/lexicon.ML;
1997-10-10, by wenzelm
constify: qualified is const;
1997-10-10, by wenzelm
added longid syntax;
1997-10-10, by wenzelm
added longid;
1997-10-10, by wenzelm
decode: qualified is always const;
1997-10-10, by wenzelm
tuned;
1997-10-10, by wenzelm
\n at end;
1997-10-09, by wenzelm
ensure that dots in formulas are followed by non-idents;
1997-10-09, by wenzelm
*** empty log message ***
1997-10-09, by wenzelm
no longer handles consts "" -- use syntax instead;
1997-10-09, by wenzelm
removed open;
1997-10-09, by wenzelm
fixed infix syntax;
1997-10-09, by wenzelm
added TLA stuff;
1997-10-09, by wenzelm
fixed oracle;
1997-10-09, by wenzelm
removed declIffOracle;
1997-10-09, by wenzelm
changed preference order of prtab entries;
1997-10-09, by wenzelm
fixed infix syntax;
1997-10-09, by wenzelm
improved oracles: named, many per theory;
1997-10-09, by wenzelm
improved oracle: name;
1997-10-09, by wenzelm
fixed get_axiom, invoke_oracle;
1997-10-09, by wenzelm
print_theory: added oracles;
1997-10-09, by wenzelm
tuned exports;
1997-10-09, by wenzelm
fixed axiom names;
1997-10-09, by wenzelm
symbols syntax;
1997-10-08, by wenzelm
A formalization of TLA in HOL -- by Stephan Merz;
1997-10-08, by wenzelm
improved types of add_XXX funs (xtyp etc.);
1997-10-07, by wenzelm
improved types of add_XXX funs (xtyp etc.);
1997-10-07, by wenzelm
tuned decode;
1997-10-07, by wenzelm
tuned internal mapping table;
1997-10-07, by wenzelm
tuned;
1997-10-07, by wenzelm
tuned warning msg;
1997-10-07, by wenzelm
tuned;
1997-10-07, by wenzelm
The Isabelle Logo;
1997-10-07, by wenzelm
fixed 'begin';
1997-10-06, by wenzelm
optional begin keyword;
1997-10-06, by wenzelm
"->" made syntax;
1997-10-06, by wenzelm
eliminated raise_term;
1997-10-06, by wenzelm
eliminated raise_term, raise_typ;
1997-10-06, by wenzelm
add_arities_i;
1997-10-06, by wenzelm
TODO: handle internal / external names;
1997-10-06, by wenzelm
now supports qualified names (intern vs. extern) !!!
1997-10-06, by wenzelm
eliminated raise_term, raise_typ;
1997-10-06, by wenzelm
tuned read_cterms;
1997-10-06, by wenzelm
eliminated raise_term, raise_typ;
1997-10-06, by wenzelm
new internal forms: add_classes_i, add_classrel_i, add_defsort_i, add_arities_i
1997-10-06, by wenzelm
tuned;
1997-10-06, by wenzelm
now uses new Sign.pretty_sort;
1997-10-06, by wenzelm
eliminated raise_term, raise_typ;
1997-10-06, by wenzelm
now uses Syntax.simple_str_of_sort;
1997-10-06, by wenzelm