isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

replaced extend_theory by new add_* functions;
1994-07-01, by clasohm
added parentheses made necessary by new constrain precedence
1994-06-29, by clasohm
added parentheses made necessary by change of constrain's precedence
1994-06-29, by clasohm
changed precedence of constrain to [4, 0], 3
1994-06-29, by clasohm
FOL/FOL.ML/excluded_middle_tac: new
1994-06-24, by lcp
Pure/tactic/subgoals_tac: new (moved from ZF/Order.ML)
1994-06-24, by lcp
minor tidying up (ordered rewriting in Integ.ML)
1994-06-23, by lcp
modifications for cardinal arithmetic
1994-06-23, by lcp
Sara\'s perl script for renaming theory files
1994-06-23, by lcp
Addition of cardinals and order types, various tidying
1994-06-21, by lcp
Various updates and tidying
1994-06-21, by lcp
improved error msg
1994-06-21, by nipkow
Improved error msg "Proved wrong thm"
1994-06-20, by nipkow
parse.ML and scan.ML are now replaced by thy_parse.ML and thy_scan.ML
1994-06-20, by clasohm
Franz Regensburger's changes.
1994-06-20, by nipkow
atomize: borrowed HOL version, which checks for both Trueprop
1994-06-17, by lcp
problem 38 is provable
1994-06-17, by lcp
ordered rewriting applies to conditional rules as well now
1994-06-17, by nipkow
replaced "foldl merge_theories" by "merge_thy_list" in base_on
1994-06-17, by clasohm
added 'subclass' section;
1994-06-16, by wenzelm
base_on: added 'mk_draft' arg;
1994-06-16, by wenzelm
(beta release)
1994-06-16, by wenzelm
added ext_tsig_subclass, ext_tsig_defsort;
1994-06-16, by wenzelm
added add_classrel;
1994-06-16, by wenzelm
replaced extend_theory;
1994-06-09, by wenzelm
added OldMixfix;
1994-06-09, by wenzelm
workaround bug in Type.expand_typ;
1994-06-09, by wenzelm
new datatype 'mixfix' now pervasive (old one still accesible via OldMixfix);
1994-06-09, by wenzelm
restored functor sig;
1994-06-09, by wenzelm
added axclass.ML, Syntax/mixfix.ML, Thy/thy_syn.ML;
1994-06-09, by wenzelm

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

isabelle