changeset 60183 | 0959e61a3f3f |
child 60189 | 6b021e8cb8da |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/Specify_Phase.thy Sun Apr 04 13:31:04 2021 +0200 1.3 @@ -0,0 +1,11 @@ 1.4 +(*<*) 1.5 +(*%:wrap=soft:maxLineLen=78:*) 1.6 +theory Specify_Phase 1.7 + imports "Specify.Specify" 1.8 +begin 1.9 +(*>*) 1.10 + 1.11 + 1.12 +(*<*) 1.13 +end 1.14 +(*>*) 1.15 \ No newline at end of file