src/HOL/Typerep.thy
Wed, 21 Jan 2009 16:47:01 +0100 haftmann tuned
Thu, 04 Dec 2008 14:43:33 +0100 haftmann cleaned up binding module and related code
Wed, 03 Dec 2008 15:58:44 +0100 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
less more (0) tip