Thu, 24 Apr 1997 17:35:47 +0200 | mueller | minor changes due to more powerful continuity check in Lift3.ML | changeset | files |
Thu, 24 Apr 1997 17:04:07 +0200 | mueller | added some comments; | changeset | files |
Thu, 24 Apr 1997 11:21:46 +0200 | paulson | Addition of printed tracing. Also some tidying | changeset | files |