| Fri, 30 Dec 2005 16:56:58 +0100 | wenzelm | provide equality_name, not_name; | file | diff | annotate |
| Mon, 14 Nov 2005 18:25:34 +0100 | paulson | removal of is_hol | file | diff | annotate |
| Tue, 12 Jul 2005 12:49:46 +0200 | paulson | experimental code to reduce the amount of type information in blast | file | diff | annotate |
| Fri, 30 Aug 2002 16:42:45 +0200 | paulson | removal of blast.overloaded | file | diff | annotate |
| Sun, 14 Oct 2001 20:02:59 +0200 | wenzelm | improved atomize setup; | file | diff | annotate |
| Tue, 16 Jan 2001 00:28:50 +0100 | wenzelm | tuned atomize; | file | diff | annotate |
| Fri, 10 Nov 2000 19:00:22 +0100 | wenzelm | val atomize = thms "atomize'"; | file | diff | annotate |
| Fri, 04 Aug 2000 22:57:25 +0200 | wenzelm | val atomize = thms "atomize"; | file | diff | annotate |
| Tue, 01 Aug 2000 11:57:09 +0200 | wenzelm | handle actual object-logic rules by atomizing the goal; | file | diff | annotate |
| Wed, 25 Aug 1999 20:49:02 +0200 | wenzelm | proper bootstrap of HOL theory and packages; | file | diff | annotate |