isabelle: Changelog

wenzelm [Wed, 10 Aug 2011 14:04:45 +0200] rev 44110

tuned source structure;

wenzelm [Wed, 10 Aug 2011 10:59:37 +0200] rev 44109

bash_output_fifo blocks on Cygwin 1.7.x;

berghofe [Tue, 09 Aug 2011 23:54:17 +0200] rev 44108

rename_bvs now avoids introducing name clashes between schematic variables

wenzelm [Tue, 09 Aug 2011 22:37:33 +0200] rev 44107

merged

haftmann [Tue, 09 Aug 2011 20:24:48 +0200] rev 44106

tuned proofs

haftmann [Tue, 09 Aug 2011 18:52:18 +0200] rev 44105

merged

haftmann [Tue, 09 Aug 2011 08:07:22 +0200] rev 44104

tuned header

haftmann [Tue, 09 Aug 2011 08:06:15 +0200] rev 44103

more uniform naming scheme for Inf/INF and Sup/SUP lemmas

kleing [Tue, 09 Aug 2011 16:09:10 +0200] rev 44102

removed "extremely ambigous" warning; has been ignored by everyone for years.

wenzelm [Tue, 09 Aug 2011 22:30:33 +0200] rev 44101

misc tuning and clarification;

isabelle