Quot/QuotMain.thy
Fri, 11 Dec 2009 17:22:26 +0100 Cezary Kaliszyk Merge + Added LarryInt & Fset3 to tests.
Fri, 11 Dec 2009 17:19:38 +0100 Cezary Kaliszyk Renaming
Fri, 11 Dec 2009 17:03:34 +0100 Christian Urban deleted struct_match by Pattern.match (fixes a problem in LarryInt)
less more (0) -30 -10 -3 tip