FSet.thy
Mon, 26 Oct 2009 11:55:36 +0100 Cezary Kaliszyk Finished the code for adding lower defs, and more things moved to QuotMain
Mon, 26 Oct 2009 11:34:02 +0100 Cezary Kaliszyk Making all the definitions from the original ones
Mon, 26 Oct 2009 10:02:50 +0100 Cezary Kaliszyk Cleaning and fixing.
less more (0) -10 -3 tip