| Wed, 02 Jan 2008 15:14:02 +0100 | haftmann | splitted class uminus from class minus | file | diff | annotate |
| Fri, 07 Dec 2007 15:07:59 +0100 | haftmann | instantiation target rather than legacy instance | file | diff | annotate |
| Thu, 29 Nov 2007 17:08:26 +0100 | haftmann | instance command as rudimentary class target | file | diff | annotate |
| Thu, 08 Nov 2007 20:08:00 +0100 | wenzelm | eliminated illegal schematic variables in where/of; | file | diff | annotate |
| Tue, 30 Oct 2007 08:45:54 +0100 | haftmann | continued localization | file | diff | annotate |
| Thu, 25 Oct 2007 19:27:50 +0200 | haftmann | various localizations | file | diff | annotate |
| Wed, 24 Oct 2007 07:19:53 +0200 | haftmann | dropped superfluous inlining rule | file | diff | annotate |
| Wed, 26 Sep 2007 20:27:55 +0200 | haftmann | moved Finite_Set before Datatype | file | diff | annotate |
| Sat, 01 Sep 2007 01:21:48 +0200 | nipkow | final(?) iteration of sgn saga. | file | diff | annotate |
| Mon, 20 Aug 2007 19:52:52 +0200 | huffman | remove int_of_nat | file | diff | annotate |
| Wed, 15 Aug 2007 12:52:56 +0200 | paulson | ATP blacklisting is now in theory data, attribute noatp | file | diff | annotate |
| Thu, 09 Aug 2007 15:52:47 +0200 | haftmann | localized of_nat | file | diff | annotate |
| Tue, 24 Jul 2007 15:20:48 +0200 | haftmann | dropped axclass | file | diff | annotate |
| Fri, 20 Jul 2007 14:28:01 +0200 | haftmann | split class abs from class minus | file | diff | annotate |