src/HOL/Import/HOL4Setup.thy
changeset 14620 1be590fd2422
parent 14516 a183dec876ab
child 16417 9bc16273c2d4
     1.1 --- a/src/HOL/Import/HOL4Setup.thy	Sat Apr 17 20:04:23 2004 +0200
     1.2 +++ b/src/HOL/Import/HOL4Setup.thy	Sat Apr 17 23:53:35 2004 +0200
     1.3 @@ -1,3 +1,8 @@
     1.4 +(*  Title:      HOL/Import/HOL4Setup.thy
     1.5 +    ID:         $Id$
     1.6 +    Author:     Sebastian Skalberg (TU Muenchen)
     1.7 +*)
     1.8 +
     1.9  theory HOL4Setup = MakeEqual
    1.10    files ("proof_kernel.ML") ("replay.ML") ("hol4rews.ML") ("import_package.ML"):
    1.11