isabelle: Changelog

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

* Isar: ":" (colon) is no longer a symbolic identifier character;

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

removed duplicate of Tactic.make_elim_preserve;

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

isabelle