src/HOL/Import/Generate-HOLLight/GenHOLLight.thy
Thu, 03 Aug 2006 15:14:05 +0200 obua fixed generator
Tue, 01 Aug 2006 13:51:16 +0200 obua removed skip
less more (0) -2 tip