isabelle: Graph

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

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

less more | (0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle