isabelle: Changelog

ballarin [Fri, 20 Apr 2007 16:55:38 +0200] rev 22757

Interpretation equations applied to attributes

ballarin [Fri, 20 Apr 2007 16:54:57 +0200] rev 22756

Interpretation equations applied to attributes; code cleanup in read_instantiations

berghofe [Fri, 20 Apr 2007 16:11:17 +0200] rev 22755

Modified eqvt_tac to avoid failure due to introduction rules whose premises contain variables that do not occur in the conclusion.

haftmann [Fri, 20 Apr 2007 15:13:06 +0200] rev 22754

clarifed

narboux [Fri, 20 Apr 2007 14:30:35 +0200] rev 22753

modify fresh_fun_simp to ease debugging

haftmann [Fri, 20 Apr 2007 13:30:51 +0200] rev 22752

updated code generator

haftmann [Fri, 20 Apr 2007 13:11:47 +0200] rev 22751

updated

haftmann [Fri, 20 Apr 2007 11:21:53 +0200] rev 22750

adds extracted program to code theorem table

haftmann [Fri, 20 Apr 2007 11:21:52 +0200] rev 22749

unfold attribute now also accepts HOL equations

haftmann [Fri, 20 Apr 2007 11:21:50 +0200] rev 22748

added more stuff

isabelle