Tue, 25 Sep 2007 17:06:14 +0200 | wenzelm | proper Sign operations instead of Theory aliases; | file | diff | annotate |
Sat, 01 Sep 2007 15:47:01 +0200 | wenzelm | replaced ProofContext.read_term/prop by general Syntax.read_term/prop; | file | diff | annotate |
Fri, 10 Aug 2007 17:04:24 +0200 | haftmann | ClassPackage renamed to Class | file | diff | annotate |
Wed, 06 Jun 2007 23:06:29 +0200 | huffman | use new-style class for sq_ord; rename op << to sq_le | file | diff | annotate |
Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |