src/HOL/Nominal/Examples/Height.thy
Mon, 23 Oct 2006 00:51:16 +0200 berghofe Adapted to changes in FCBs.
Wed, 18 Oct 2006 23:15:16 +0200 urbanc cleaning up
Fri, 18 Aug 2006 18:46:02 +0200 urbanc modified to use the characteristic equations
less more (0) -3 tip