Nominal/NewFv.thy
Mon, 07 Jun 2010 11:33:00 +0200 Christian Urban improved abstract, some tuning
Wed, 19 May 2010 12:43:38 +0100 Christian Urban added comments about pottiers work
less more (0) -10 -2 tip