isabelle: Changelog

haftmann [Mon, 27 Aug 2007 11:34:14 +0200] rev 24433

added explicit equation for equality of nested environments

haftmann [Mon, 27 Aug 2007 08:31:01 +0200] rev 24432

circumvented infix problem

nipkow [Sun, 26 Aug 2007 21:28:08 +0200] rev 24431

tuned linear arith (once again) with ring_distribs

haftmann [Sun, 26 Aug 2007 14:37:18 +0200] rev 24430

made SML/NJ happy

kleing [Sun, 26 Aug 2007 01:19:20 +0200] rev 24429

described 'rotated' attribute

haftmann [Sat, 25 Aug 2007 09:22:22 +0200] rev 24428

made SML/NJ happy

paulson [Fri, 24 Aug 2007 14:21:33 +0200] rev 24427

revised blacklisting for ATP linkup

paulson [Fri, 24 Aug 2007 14:17:54 +0200] rev 24426

new derived rule: incr_type_indexes

paulson [Fri, 24 Aug 2007 14:16:44 +0200] rev 24425

Returning both a "one-line" proof and a structured proof

paulson [Fri, 24 Aug 2007 14:15:58 +0200] rev 24424

Reconstruction bug fix

isabelle