changeset 11540 | 23794728cdb7 |
parent 11519 | 0c96830636a1 |
child 11543 | d61b913431c5 |
--- a/src/Pure/proofterm.ML Fri Aug 31 18:46:48 2001 +0200 +++ b/src/Pure/proofterm.ML Fri Aug 31 22:44:44 2001 +0200 @@ -1,9 +1,9 @@ (* Title: Pure/proofterm.ML ID: $Id$ - Author: Stefan Berghofer - Copyright 2000 TU Muenchen + Author: Stefan Berghofer, TU Muenchen + License: GPL (GNU GENERAL PUBLIC LICENSE) -LF style proof terms +LF style proof terms. *) infix 8 % %% %%%;