changeset 1461 | 6bcb44e4d6e5 |
parent 1352 | 2e29baa12ae7 |
--- a/src/LK/ex/ROOT.ML Mon Jan 29 14:16:13 1996 +0100 +++ b/src/LK/ex/ROOT.ML Tue Jan 30 13:42:57 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: LK/ex/ROOT +(* Title: LK/ex/ROOT ID: $Id$ - Author: Lawrence C Paulson, Cambridge University Computer Laboratory + Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1992 University of Cambridge Executes all examples for Classical Logic.