--- a/src/Pure/General/url.ML Fri May 05 22:00:17 2000 +0200
+++ b/src/Pure/General/url.ML Fri May 05 22:02:46 2000 +0200
@@ -1,6 +1,7 @@
(* Title: Pure/General/url.ML
ID: $Id$
Author: Markus Wenzel, TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
Basic URLs.
*)