| Wed, 01 Jun 2005 08:57:49 +0200 | haftmann | improved *.sty handling | changeset | files |
| Wed, 01 Jun 2005 08:56:58 +0200 | haftmann | improved *.sty handling | changeset | files |
| Wed, 01 Jun 2005 08:44:25 +0200 | nipkow | added premise<i> | changeset | files |
| Wed, 01 Jun 2005 08:44:13 +0200 | nipkow | added dependency | changeset | files |
| Tue, 31 May 2005 19:32:41 +0200 | obua | Removed final_consts from theory data. Now const_deps deals with final | changeset | files |
| Tue, 31 May 2005 17:52:10 +0200 | paulson | minor tidying and sml/nj compatibility | changeset | files |
| Tue, 31 May 2005 12:42:36 +0200 | quigley | Fixed array containing clasimpset rules. Added flags to turn on and off reconstruction and full spass | changeset | files |