tuned;
authorwenzelm
Mon May 30 23:07:58 2005 +0200 (2005-05-30)
changeset 161148d453f906e43
parent 16113 692fe6595755
child 16115 ae921f717a2b
tuned;
src/HOL/Record.thy
     1.1 --- a/src/HOL/Record.thy	Mon May 30 16:32:47 2005 +0200
     1.2 +++ b/src/HOL/Record.thy	Mon May 30 23:07:58 2005 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  (*  Title:      HOL/Record.thy
     1.5      ID:         $Id$
     1.6 -    Author:     Wolfgang Naraschewski, Norbert Schirmer  and Markus Wenzel, TU Muenchen
     1.7 +    Author:     Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen
     1.8  *)
     1.9  
    1.10  theory Record
    1.11 @@ -58,8 +58,8 @@
    1.12    "_record_scheme"      :: "[fields, 'a] => 'a"                 ("(3\<lparr>_,/ (2\<dots> =/ _)\<rparr>)")
    1.13    "_record_update"      :: "['a, updates] => 'b"                ("_/(3\<lparr>_\<rparr>)" [900,0] 900)
    1.14  
    1.15 -use "Tools/record_package.ML";
    1.16 -setup RecordPackage.setup;
    1.17 +use "Tools/record_package.ML"
    1.18 +setup RecordPackage.setup
    1.19  
    1.20  end
    1.21