changeset 14620 | 1be590fd2422 |
parent 14516 | a183dec876ab |
child 16417 | 9bc16273c2d4 |
--- a/src/HOL/Import/HOL4Syntax.thy Sat Apr 17 20:04:23 2004 +0200 +++ b/src/HOL/Import/HOL4Syntax.thy Sat Apr 17 23:53:35 2004 +0200 @@ -1,3 +1,8 @@ +(* Title: HOL/Import/HOL4Syntax.thy + ID: $Id$ + Author: Sebastian Skalberg (TU Muenchen) +*) + theory HOL4Syntax = HOL4Setup files "import_syntax.ML":