Wed, 06 May 2009 16:01:06 +0200 | haftmann | refined HOL string theories and corresponding ML fragments | file | diff | annotate |
Mon, 04 May 2009 14:49:46 +0200 | haftmann | class typerep inherits from type | file | diff | annotate |
Wed, 21 Jan 2009 16:47:01 +0100 | haftmann | tuned | file | diff | annotate |
Thu, 04 Dec 2008 14:43:33 +0100 | haftmann | cleaned up binding module and related code | file | diff | annotate |
Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate | base |