| Thu, 28 Apr 2005 17:56:58 +0200 | fixed treatment of higher-order simprules | file | diff | annotate |
| Thu, 21 Apr 2005 15:05:24 +0200 | added hearder lines and deleted some redundant material | file | diff | annotate |
| Wed, 20 Apr 2005 18:01:50 +0200 | Corrected the problem with the ATP directory. | file | diff | annotate |
| Tue, 19 Apr 2005 18:08:44 +0200 | more tidying of libraries in Reconstruction | file | diff | annotate |
| Fri, 15 Apr 2005 13:35:53 +0200 | more tidying up of the SPASS interface | file | diff | annotate |
| Tue, 12 Apr 2005 11:08:25 +0200 | tweaks mainly to achieve sml/nj compatibility | file | diff | annotate |
| Thu, 31 Mar 2005 19:47:30 +0200 | *** empty log message *** | file | diff | annotate |