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 |