| Tue, 20 Sep 2005 14:03:37 +0200 | wenzelm | tuned theory dependencies; | file | diff | annotate |
| Tue, 16 Aug 2005 18:53:11 +0200 | paulson | more simprules now have names | file | diff | annotate |
| Tue, 16 Aug 2005 15:36:28 +0200 | paulson | classical rules must have names for ATP integration | file | diff | annotate |