--- a/src/Pure/Thy/html.ML Fri May 05 22:09:41 2000 +0200
+++ b/src/Pure/Thy/html.ML Fri May 05 22:18:40 2000 +0200
@@ -1,6 +1,7 @@
(* Title: Pure/Thy/HTML.ML
ID: $Id$
Author: Markus Wenzel, TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
HTML presentation primitives.
*)
--- a/src/Pure/Thy/latex.ML Fri May 05 22:09:41 2000 +0200
+++ b/src/Pure/Thy/latex.ML Fri May 05 22:18:40 2000 +0200
@@ -1,6 +1,7 @@
(* Title: Pure/Thy/latex.ML
ID: $Id$
Author: Markus Wenzel, TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
LaTeX presentation primitives (based on outer lexical syntax).
*)
--- a/src/Pure/Thy/present.ML Fri May 05 22:09:41 2000 +0200
+++ b/src/Pure/Thy/present.ML Fri May 05 22:18:40 2000 +0200
@@ -1,6 +1,7 @@
(* Title: Pure/Thy/present.ML
ID: $Id$
Author: Stefan Berghofer and Markus Wenzel, TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
Theory presentation (HTML, graph files, (PDF)LaTeX documents).
*)
--- a/src/Pure/Thy/thy_load.ML Fri May 05 22:09:41 2000 +0200
+++ b/src/Pure/Thy/thy_load.ML Fri May 05 22:18:40 2000 +0200
@@ -1,6 +1,7 @@
(* Title: Pure/Thy/thy_load.ML
ID: $Id$
Author: Markus Wenzel, TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
Theory loader primitives.
*)