src/HOL/Nominal/Examples/Standardization.thy
Mon, 12 Sep 2011 07:55:43 +0200 nipkow new fastforce replacing fastsimp - less confusing name
Wed, 29 Sep 2010 09:08:01 +0200 haftmann fact listsum now names listsum_foldl
less more (0) -2 tip