isabelle: Changelog

haftmann [Sat, 19 Sep 2009 07:35:27 +0200] rev 32611

merged

haftmann [Fri, 18 Sep 2009 16:00:56 +0200] rev 32610

rewrite premises in tactical proof also with inf_fun_eq and inf_bool_eq: attempt to allow user to use inf [=>] and inf [bool] in his specs

nipkow [Fri, 18 Sep 2009 23:08:53 +0200] rev 32609

modified minimization log

nipkow [Fri, 18 Sep 2009 14:40:24 +0200] rev 32608

merged

nipkow [Fri, 18 Sep 2009 14:40:06 +0200] rev 32607

skip &&& goals

haftmann [Fri, 18 Sep 2009 14:09:38 +0200] rev 32606

INTER and UNION are mere abbreviations for INFI and SUPR

haftmann [Fri, 18 Sep 2009 09:35:23 +0200] rev 32605

simplified proof

haftmann [Fri, 18 Sep 2009 09:07:51 +0200] rev 32604

partially isarified proof

haftmann [Fri, 18 Sep 2009 09:07:50 +0200] rev 32603

tuned const_name antiquotations

haftmann [Fri, 18 Sep 2009 09:07:49 +0200] rev 32602

more antiquotations

isabelle