isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

- removed flexpair
2002-10-21, by berghofe
No more explicit manipulation of flex-flex constraints in metahyps_aux_tac.
2002-10-21, by berghofe
Removed flexpair_def.
2002-10-21, by berghofe
Removed Logic.strip_flexpairs.
2002-10-21, by berghofe
No more explicit manipulation of flex-flex constraints in goals_conv.
2002-10-21, by berghofe
Changed type of Logic.strip_horn.
2002-10-21, by berghofe
Removed obsolete functions dealing with flex-flex constraints.
2002-10-21, by berghofe
Changed handling of flex-flex constraints: now stored in separate
2002-10-21, by berghofe
Now applies standard' to "unfold" theorem (due to flex-flex constraints).
2002-10-21, by berghofe
Changed type of Logic.strip_horn.
2002-10-21, by berghofe
Tidying up. New primitives is_iterates and is_iterates_fm.
2002-10-18, by paulson
Mod due to: Added a few thms about UN/INT/{}/UNIV
2002-10-18, by nipkow
Added a few thms about UN/INT/{}/UNIV
2002-10-18, by nipkow
fixed comments and types
2002-10-17, by paulson
Cosmetic changes suggested by writing the paper. Deleted some
2002-10-17, by paulson
fixing the cut_tac method to work when there are no instantiations and the
2002-10-17, by paulson
alternative syntax
2002-10-15, by kleing
*** empty log message ***
2002-10-14, by nipkow
tidying and reorganization
2002-10-14, by paulson
Ported find_intro/elim to Isar.
2002-10-14, by nipkow
norm_typ -> Envir.norm_type
2002-10-11, by berghofe
*** empty log message ***
2002-10-10, by nipkow
*** empty log message ***
2002-10-10, by nipkow
added failure trace information to pattern unification
2002-10-10, by nipkow
Reimplemented parts of datatype package dealing with datatypes involving
2002-10-10, by berghofe
Added list_all.
2002-10-10, by berghofe
Removed obsolete function "fun_rel_comp".
2002-10-10, by berghofe
Added choice_eq.
2002-10-10, by berghofe
- Added range_ex1_eq
2002-10-10, by berghofe
Removed obsolete function "Funs".
2002-10-10, by berghofe
Added functions Suml and Sumr which are useful for constructing
2002-10-10, by berghofe
Re-organization of Constructible theories
2002-10-09, by paulson
type safety with defensive machine
2002-10-08, by kleing
defensive machine
2002-10-08, by kleing
defensive machine without obj init and jsr
2002-10-08, by kleing
Got rid of rotates because of new simplifier
2002-10-08, by nipkow
take/drop -> splitAt
2002-10-07, by nipkow
Various simplifications of the Constructible theories
2002-10-04, by paulson
Fixed bug involving inductive definitions with equalities in the premises.
2002-10-04, by paulson
Fixed bug involving inductive definitions having equalities in the premises,
2002-10-04, by paulson
Documented new "asm_lr" option for simp.
2002-10-04, by berghofe
added the new elim rule psubsetE
2002-10-03, by paulson
*** empty log message ***
2002-10-03, by nipkow
*** empty log message ***
2002-10-02, by nipkow
*** empty log message ***
2002-10-02, by nipkow
*** empty log message ***
2002-10-02, by nipkow
*** empty log message ***
2002-10-01, by nipkow
Added some comments on new simplifier.
2002-10-01, by berghofe
Documented new "asm_lr" option for simp.
2002-10-01, by berghofe
Adapted to new simplifier.
2002-10-01, by berghofe
Numerous cosmetic changes, prompted by the new simplifier
2002-10-01, by paulson
Deleted superfluous dest_implies.
2002-10-01, by berghofe
*** empty log message ***
2002-09-30, by nipkow
Adapted to new simplifier.
2002-09-30, by berghofe
Adapted to new simplifier.
2002-09-30, by berghofe
Fixed bug in expand_proof which caused indexes to be incremented incorrectly.
2002-09-30, by berghofe
Added check for axioms with "realizes Null A = A".
2002-09-30, by berghofe
Added function elim_vars.
2002-09-30, by berghofe
Completely reimplemented mutual simplification of premises.
2002-09-30, by berghofe
Removed nRS again because extract_rews now takes care of preserving names.
2002-09-30, by berghofe

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

isabelle