2002-09-18 kleing comments + usage
2002-09-11 paulson Streamlined proofs of instances of Separation
2002-09-11 paulson Bound variable preservation in Collect_cong
2002-09-10 paulson renamed M_triv_axioms to M_trivial and M_axioms to M_basic
2002-09-10 paulson tweaks
2002-09-09 nipkow *** empty log message ***
2002-09-09 nipkow bug in counter example finder
2002-09-07 paulson conversion of ZF/Integ/{Int,Bin} to Isar scripts
2002-09-05 paulson added checking so that (rename_tac "x y") is rejected, since
2002-09-03 paulson tidied
2002-09-03 paulson deleted redundant material (quasiformula, ...) and rationalized
2002-09-03 paulson fixed the typesetting
2002-09-03 nipkow *** empty log message ***
2002-09-02 paulson Added missing rewrite rule and some arith examples
2002-09-02 nipkow order_less_irrefl: [simp] -> [iff]
2002-09-01 nipkow *** empty log message ***
2002-08-31 paulson converted Hyperreal/Zorn to Isar format and moved to Library
2002-08-30 paulson removal of blast.overloaded
2002-08-29 wenzelm updated;
2002-08-29 wenzelm *** empty log message ***
2002-08-29 wenzelm tuned;
2002-08-29 paulson fixed a name clash
2002-08-28 wenzelm improved tell_thm_deps;
2002-08-28 paulson various new lemmas for Constructible
2002-08-28 paulson completion of the consistency proof for AC
2002-08-27 wenzelm thms_containing: allow "_" in specification;
2002-08-27 wenzelm *** empty log message ***
2002-08-27 wenzelm * Pure: disallow duplicate fact bindings within new-style theory files;
Loading...
(0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip