Quot/Examples/FSet2.thy
2009-12-19 Christian Urban renamed "quotient" command to "quotient_type"; needs new keyword file to be installed
2009-12-11 Cezary Kaliszyk New syntax for definitions.
2009-12-10 Christian Urban added an attempt to get a finite set theory
less more (0) tip