wenzelm [Mon, 23 Apr 2012 22:22:57 +0200] rev 48577
merged
wenzelm [Mon, 23 Apr 2012 21:53:43 +0200] rev 48576
typedef with implicit set definition is considered legacy;
wenzelm [Mon, 23 Apr 2012 21:44:36 +0200] rev 48575
more standard method setup;
nipkow [Mon, 23 Apr 2012 21:46:52 +0200] rev 48574
merged
nipkow [Mon, 23 Apr 2012 21:46:37 +0200] rev 48573
doc update
krauss [Mon, 23 Apr 2012 21:31:52 +0200] rev 48572
NEWS
kuncar [Mon, 23 Apr 2012 18:42:05 +0200] rev 48571
CONTRIBUTORS
kuncar [Mon, 23 Apr 2012 18:42:03 +0200] rev 48570
added useful Trueprop_conv
kuncar [Mon, 23 Apr 2012 17:18:18 +0200] rev 48569
move MRSL to a separate file
wenzelm [Mon, 23 Apr 2012 16:30:43 +0200] rev 48568
avoid conflict of Isabelle vs. Isabelle.exe on Cygwin;