changeset 9000 | c20d58286a51 |
parent 7120 | 6d5923cecece |
child 16019 | 0e1405402d53 |
--- a/src/Sequents/ROOT.ML Tue May 30 16:03:09 2000 +0200 +++ b/src/Sequents/ROOT.ML Tue May 30 16:08:38 2000 +0200 @@ -1,4 +1,4 @@ -(* Title: Sequents/ROOT +(* Title: Sequents/ROOT.ML ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1991 University of Cambridge