| Thu, 01 Dec 2005 22:04:27 +0100 | wenzelm | simprocs: static evaluation of simpset; | file | diff | annotate |
| Thu, 01 Dec 2005 15:45:54 +0100 | paulson | restoring the old status of subset_refl | file | diff | annotate |
| Thu, 10 Nov 2005 17:33:14 +0100 | paulson | duplicate axioms in ATP linkup, and general fixes | file | diff | annotate |
| Mon, 17 Oct 2005 23:10:10 +0200 | wenzelm | change_claset/simpset; | file | diff | annotate |
| Fri, 07 Oct 2005 22:59:22 +0200 | wenzelm | Term.absdummy; | file | diff | annotate |
| Thu, 29 Sep 2005 12:43:40 +0200 | paulson | a name for empty_not_insert | file | diff | annotate |
| Thu, 29 Sep 2005 00:58:55 +0200 | wenzelm | more finalconsts; | file | diff | annotate |