src/HOL/ZF/HOLZF.thy
2007-08-02 wenzelm 2007-08-02 turned simp_depth_limit into configuration option;
2007-06-11 chaieb 2007-06-11 tuned Proof
2007-04-15 wenzelm 2007-04-15 replaced axioms/finalconsts by proper axiomatization;
2006-09-18 obua 2006-09-18 replaced implodeable_Ext by set_like
2006-07-26 webertj 2006-07-26 linear arithmetic splits certain operators (e.g. min, max, abs)
2006-03-07 obua 2006-03-07 Added HOL-ZF to Isabelle.