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