Quot/Examples/FSet3.thy
Sun, 20 Dec 2009 00:53:35 +0100 Christian Urban on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file
Sun, 20 Dec 2009 00:26:53 +0100 Christian Urban renamed "quotient" command to "quotient_type"; needs new keyword file to be installed
Mon, 14 Dec 2009 10:09:49 +0100 Cezary Kaliszyk Replies to questions from the weekend: Uncommenting the renamed theorem commented out in 734.
Sat, 12 Dec 2009 15:07:59 +0100 Christian Urban annotated some questions to the code; some simple changes
Sat, 12 Dec 2009 09:27:06 +0100 Cezary Kaliszyk Minor
Sat, 12 Dec 2009 05:12:50 +0100 Cezary Kaliszyk Some proofs.
less more (0) -10 -6 tip