Nominal/Test.thy
Thu, 25 Feb 2010 11:30:00 +0100 Christian Urban first attempt to make sense out of the core-haskell definition
less more (0) -1 tip