Quot/Examples/LamEx.thy
Thu, 14 Jan 2010 16:41:17 +0100 Cezary Kaliszyk exported absrep_const for nitpick.
Thu, 14 Jan 2010 15:36:29 +0100 Cezary Kaliszyk minor
less more (0) -10 -2 tip