isabelle: Changelog

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

haftmann [Fri, 20 Apr 2007 11:21:49 +0200] rev 22747

add definitions explicitly to code generator table

haftmann [Fri, 20 Apr 2007 11:21:48 +0200] rev 22746

cleared dead code

isabelle