| 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 |