Quot/Nominal/Test.thy
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.
Wed, 27 Jan 2010 13:32:28 +0100 Cezary Kaliszyk Variable takes a 'name'.
Wed, 27 Jan 2010 11:48:04 +0100 Christian Urban very rough example file for how nominal2 specification can be parsed
less more (0) tip