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 |