QuotMain.thy
Fri, 28 Aug 2009 17:12:19 +0200 Cezary Kaliszyk Fixes after suggestions from Makarius:
Fri, 28 Aug 2009 10:01:25 +0200 Cezary Kaliszyk More examples.
Thu, 27 Aug 2009 09:04:39 +0200 Cezary Kaliszyk Use metavariables in the 'non-lambda' definitions
less more (0) -10 -3 tip