QuotMain.thy
Tue, 15 Sep 2009 11:31:35 +0200 Cezary Kaliszyk Code cleanup
Tue, 15 Sep 2009 10:00:34 +0200 Cezary Kaliszyk Cleaning the code
Tue, 15 Sep 2009 09:59:56 +0200 Cezary Kaliszyk Generalized interpretation, works for all examples.
less more (0) -10 -3 tip