isabelle: Changelog

wenzelm [Wed, 12 Jul 2006 21:19:22 +0200] rev 20116

removed obsolete adhoc_freeze_vars (may use Variable.import_terms instead);

wenzelm [Wed, 12 Jul 2006 21:19:19 +0200] rev 20115

exported make_elim_preserve;

wenzelm [Wed, 12 Jul 2006 21:19:17 +0200] rev 20114

prove_conv: Variable.import_terms instead of Term.addhoc_freeze_vars; tuned;

wenzelm [Wed, 12 Jul 2006 21:19:14 +0200] rev 20113

simplified prove_conv;

wenzelm [Wed, 12 Jul 2006 19:59:14 +0200] rev 20112

removed ':' from category of symbolic identifier chars;

wenzelm [Wed, 12 Jul 2006 19:59:13 +0200] rev 20111

query/bang_colon: separate tokens;

haftmann [Wed, 12 Jul 2006 17:40:52 +0200] rev 20110

purged website sources

haftmann [Wed, 12 Jul 2006 17:00:33 +0200] rev 20109

added strip_abs_eta

haftmann [Wed, 12 Jul 2006 17:00:32 +0200] rev 20108

added chop_prefix

haftmann [Wed, 12 Jul 2006 17:00:31 +0200] rev 20107

class_of_param instead of class_of

isabelle