isabelle: Changelog

urbanc [Mon, 27 Feb 2006 12:14:36 +0100] rev 19144

added support for arbitrary atoms in the simproc

wenzelm [Sun, 26 Feb 2006 23:01:50 +0100] rev 19143

put_thms: do_index;

wenzelm [Sun, 26 Feb 2006 23:01:48 +0100] rev 19142

rewrite_goals_rule_aux: actually use prems if present;

wenzelm [Sun, 26 Feb 2006 23:01:47 +0100] rev 19141

add_local: do_index;

urbanc [Sun, 26 Feb 2006 22:25:17 +0100] rev 19140

replaced the lemma at_two by at_different; this lemma now proves EX b. a != b

urbanc [Sun, 26 Feb 2006 22:24:05 +0100] rev 19139

improved the decision-procedure for permutations; now uses a simproc FIXME: the simproc still needs to be adapted for arbitrary atom types

haftmann [Sat, 25 Feb 2006 15:19:47 +0100] rev 19138

improved codegen bootstrap

haftmann [Sat, 25 Feb 2006 15:19:19 +0100] rev 19137

change in codegen syntax

haftmann [Sat, 25 Feb 2006 15:19:00 +0100] rev 19136

some refinements

haftmann [Sat, 25 Feb 2006 15:11:35 +0100] rev 19135

added more detailed data to consts

isabelle