| Wed, 11 Aug 2010 12:04:06 +0200 | haftmann | * -> prod | file | diff | annotate |
| Fri, 16 Apr 2010 21:28:09 +0200 | wenzelm | replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords; | file | diff | annotate |
| Wed, 17 Jun 2009 16:56:15 -0700 | huffman | merged | file | diff | annotate |
| Wed, 17 Jun 2009 11:00:14 +0200 | haftmann | corrected some issues | file | diff | annotate |
| Wed, 17 Jun 2009 10:11:33 +0200 | haftmann | reworked section on type classes | file | diff | annotate |
| Thu, 12 Jun 2008 14:21:10 +0200 | nipkow | fixed type | file | diff | annotate |
| Wed, 19 Oct 2005 21:52:07 +0200 | wenzelm | fix headers; | file | diff | annotate |
| Sat, 01 Dec 2001 18:52:32 +0100 | wenzelm | renamed class "term" to "type" (actually "HOL.type"); | file | diff | annotate |
| Thu, 09 Aug 2001 18:12:15 +0200 | paulson | revisions and indexing | file | diff | annotate |
| Wed, 07 Mar 2001 15:54:11 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 25 Oct 2000 18:24:33 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 23 Oct 2000 20:58:12 +0200 | nipkow | *** empty log message *** | file | diff | annotate |