isabelle: Changelog

wenzelm [Thu, 25 Jun 1998 16:28:41 +0200] rev 5087

fixed unit_eq;

wenzelm [Thu, 25 Jun 1998 16:13:20 +0200] rev 5086

delsimprocs [unit_eq_proc];

wenzelm [Thu, 25 Jun 1998 16:12:02 +0200] rev 5085

simplification procedure unit_eq_proc rewrites (?x::unit) = (); quote / antiquote translations;

wenzelm [Thu, 25 Jun 1998 15:37:36 +0200] rev 5084

tuned loose bound vars check; added quote_antiquote_tr(');

wenzelm [Thu, 25 Jun 1998 15:34:17 +0200] rev 5083

added unit_eq simplification procedure;

wenzelm [Thu, 25 Jun 1998 15:33:30 +0200] rev 5082

added XX_YY_rewrite: simpset -> cterm -> thm;

wenzelm [Thu, 25 Jun 1998 15:32:41 +0200] rev 5081

Thm.rewrite_cterm;

wenzelm [Thu, 25 Jun 1998 15:22:05 +0200] rev 5080

defaults for free variables hide consts of same name;

wenzelm [Thu, 25 Jun 1998 15:20:59 +0200] rev 5079

added rewrite_cterm;

paulson [Thu, 25 Jun 1998 13:57:34 +0200] rev 5078

Installation of target HOL-Real

isabelle