Quot/Nominal/Test.thy
Wed, 27 Jan 2010 16:07:49 +0100 Cezary Kaliszyk Undid the parsing, as it is not possible with thy->lthy interaction.
Wed, 27 Jan 2010 14:56:58 +0100 Cezary Kaliszyk Some cleaning of thy vs lthy vs context.
Wed, 27 Jan 2010 13:44:05 +0100 Cezary Kaliszyk Another string in the specification.
less more (0) -3 tip