2007-02-07 berghofe Adapted to changes in Accessible_Part and Wellfounded_Recursion theories.
2007-02-07 berghofe Added split_rule attribute.
2007-02-07 berghofe Fixed bug in mk_AbsP.
2007-02-07 berghofe Introduction and elimination rules for <= on predicates
2007-02-07 berghofe - Improved handling of monotonicity rules involving <=
2007-02-07 berghofe Adapted to changes in Finite_Set theory.
2007-02-07 berghofe Adapted to changes in Finite_Set theory.
2007-02-07 berghofe - Adapted to new inductive definition package
2007-02-07 berghofe Adapted to new inductive definition package.
2007-02-07 berghofe Converted to predicate notation.
2007-02-07 berghofe Adapted to changes in List theory.
2007-02-07 berghofe - wfP has been moved to theory Wellfounded_Recursion
2007-02-07 berghofe Adapted to changes in Transitive_Closure theory.
2007-02-07 berghofe Adapted to new inductive definition package.
2007-02-07 berghofe Adapted to changes in Finite_Set theory.
2007-02-07 berghofe Theorems for converting between wf and wfP are now declared
2007-02-07 berghofe - Adapted to new inductive definition package
2007-02-07 berghofe Adapted to new inductive definition package.
2007-02-07 berghofe Adapted to changes in Transitive_Closure theory.
2007-02-07 berghofe Added Predicate theory.
2007-02-07 berghofe New theory for converting between predicates and sets.
2007-02-07 bulwahn changes in lexicographic_order termination tactic
2007-02-07 berghofe "prove" function now instantiates relation variable in order
2007-02-07 berghofe Made untabify function tail recursive.
2007-02-06 wenzelm tuned matches_subterm;
2007-02-06 wenzelm trace/debug: avoid eager string concatenation;
2007-02-06 wenzelm cc: removed option -lstdc++, which seems to be unnecessry, but causes problems on some platforms;
2007-02-06 wenzelm pervasive exception Option;
2007-02-06 wenzelm added has_kind/get_kind;
2007-02-06 urbanc fixed two stupid bugs of SML to do with the value restriction and missing type
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip