| Tue, 16 Aug 2005 15:36:28 +0200 | paulson | classical rules must have names for ATP integration | file | diff | annotate |
| Tue, 02 Aug 2005 19:47:12 +0200 | wenzelm | simprocs: Simplifier.inherit_bounds; | file | diff | annotate |
| Tue, 12 Jul 2005 12:49:00 +0200 | paulson | tweaked | file | diff | annotate |