tuned headers;
authorwenzelm
Wed Sep 12 13:42:28 2012 +0200 (2012-09-12)
changeset 49322fbb320d02420
parent 49321 a48f9bbbe720
child 49323 6dff6b1f5417
tuned headers;
src/Doc/Functions/Functions.thy
src/Doc/Tutorial/Protocol/Event.thy
src/Doc/Tutorial/Protocol/Message.thy
src/Doc/Tutorial/Protocol/NS_Public.thy
src/HOL/Library/Prefix_Order.thy
src/Pure/System/color_value.scala
     1.1 --- a/src/Doc/Functions/Functions.thy	Wed Sep 12 13:21:33 2012 +0200
     1.2 +++ b/src/Doc/Functions/Functions.thy	Wed Sep 12 13:42:28 2012 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      Doc/Functions/Thy/Fundefs.thy
     1.5 +(*  Title:      Doc/Functions/Fundefs.thy
     1.6      Author:     Alexander Krauss, TU Muenchen
     1.7  
     1.8  Tutorial for function definitions with the new "function" package.
     2.1 --- a/src/Doc/Tutorial/Protocol/Event.thy	Wed Sep 12 13:21:33 2012 +0200
     2.2 +++ b/src/Doc/Tutorial/Protocol/Event.thy	Wed Sep 12 13:42:28 2012 +0200
     2.3 @@ -1,5 +1,4 @@
     2.4 -(*  Title:      HOL/Auth/Event
     2.5 -    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     2.6 +(*  Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     2.7      Copyright   1996  University of Cambridge
     2.8  
     2.9  Datatype of events; function "spies"; freshness
     3.1 --- a/src/Doc/Tutorial/Protocol/Message.thy	Wed Sep 12 13:21:33 2012 +0200
     3.2 +++ b/src/Doc/Tutorial/Protocol/Message.thy	Wed Sep 12 13:42:28 2012 +0200
     3.3 @@ -1,5 +1,4 @@
     3.4 -(*  Title:      HOL/Auth/Message
     3.5 -    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     3.6 +(*  Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     3.7      Copyright   1996  University of Cambridge
     3.8  
     3.9  Datatypes of agents and messages;
     4.1 --- a/src/Doc/Tutorial/Protocol/NS_Public.thy	Wed Sep 12 13:21:33 2012 +0200
     4.2 +++ b/src/Doc/Tutorial/Protocol/NS_Public.thy	Wed Sep 12 13:42:28 2012 +0200
     4.3 @@ -1,5 +1,4 @@
     4.4 -(*  Title:      HOL/Auth/NS_Public
     4.5 -    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     4.6 +(*  Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     4.7      Copyright   1996  University of Cambridge
     4.8  
     4.9  Inductive relation "ns_public" for the Needham-Schroeder Public-Key protocol.
     5.1 --- a/src/HOL/Library/Prefix_Order.thy	Wed Sep 12 13:21:33 2012 +0200
     5.2 +++ b/src/HOL/Library/Prefix_Order.thy	Wed Sep 12 13:42:28 2012 +0200
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      HOL/Library/Sublist.thy
     5.5 +(*  Title:      HOL/Library/Prefix_Order.thy
     5.6      Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
     5.7  *)
     5.8  
     6.1 --- a/src/Pure/System/color_value.scala	Wed Sep 12 13:21:33 2012 +0200
     6.2 +++ b/src/Pure/System/color_value.scala	Wed Sep 12 13:42:28 2012 +0200
     6.3 @@ -1,4 +1,4 @@
     6.4 -/*  Title:      Pure/General/color_value.scala
     6.5 +/*  Title:      Pure/System/color_value.scala
     6.6      Module:     PIDE
     6.7      Author:     Makarius
     6.8