| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Tue, 10 Jun 2008 15:30:33 +0200 | haftmann | rep_datatype command now takes list of constructors as input arguments | file | diff | annotate |
| Mon, 17 Mar 2008 18:37:05 +0100 | wenzelm | avoid rebinding of existing facts; | file | diff | annotate |
| Wed, 12 Mar 2008 19:38:13 +0100 | haftmann | yet another useful lemma | file | diff | annotate |
| Tue, 26 Feb 2008 07:59:57 +0100 | haftmann | Zero/Suc recursion combinator for type index | file | diff | annotate |
| Sun, 17 Feb 2008 06:49:53 +0100 | huffman | New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1 | file | diff | annotate |
| Tue, 29 Jan 2008 10:19:56 +0100 | haftmann | treating division by zero properly | file | diff | annotate |
| Fri, 25 Jan 2008 14:54:46 +0100 | haftmann | fixed and tuned | file | diff | annotate |
| Wed, 23 Jan 2008 09:57:55 +0100 | haftmann | yet another OCaml fix | file | diff | annotate |
| Tue, 22 Jan 2008 23:06:58 +0100 | haftmann | fixed OCaml | file | diff | annotate |
| Mon, 21 Jan 2008 08:43:27 +0100 | haftmann | tuned code setup | file | diff | annotate |
| Tue, 15 Jan 2008 16:19:21 +0100 | haftmann | tuned | file | diff | annotate |
| Wed, 02 Jan 2008 15:14:23 +0100 | haftmann | index now a copy of nat rather than int | file | diff | annotate |
| Tue, 18 Dec 2007 14:37:00 +0100 | haftmann | switched from PreList to ATP_Linkup | 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 13:21:12 +0100 | haftmann | duv, mod, int conversion | file | diff | annotate |
| Fri, 12 Oct 2007 10:26:18 +0200 | haftmann | added | file | diff | annotate |