| Wed, 06 Sep 2006 13:48:02 +0200 | haftmann | got rid of Numeral.bin type | file | diff | annotate |
| Wed, 07 Jun 2006 02:01:28 +0200 | wenzelm | renamed Type.(un)varifyT to Logic.(un)varifyT; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Mon, 17 Oct 2005 23:10:13 +0200 | wenzelm | change_claset/simpset; | file | diff | annotate |
| Mon, 20 Jun 2005 22:13:59 +0200 | wenzelm | get_thm(s): Name; | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 24 Jan 2005 18:16:57 +0100 | berghofe | Adapted to modified interface of PureThy.get_thm(s). | file | diff | annotate |
| Thu, 01 Jul 2004 12:29:53 +0200 | paulson | new treatment of binary numerals | file | diff | annotate |
| Mon, 29 Mar 2004 15:35:04 +0200 | skalberg | Added bitvector library (Word) to HOL/Library and a theory using it (Adder) | file | diff | annotate |