tuned headers;
authorwenzelm
Fri Sep 08 19:22:47 2017 +0200 (21 months ago)
changeset 66646383d8e388d1b
parent 66645 db317febaf0b
child 66647 6666fced78cc
tuned headers;
src/HOL/Tools/Nunchaku/nunchaku.ML
src/HOL/Tools/Nunchaku/nunchaku_collect.ML
src/HOL/Tools/Nunchaku/nunchaku_commands.ML
src/HOL/Tools/Nunchaku/nunchaku_display.ML
src/HOL/Tools/Nunchaku/nunchaku_model.ML
src/HOL/Tools/Nunchaku/nunchaku_problem.ML
src/HOL/Tools/Nunchaku/nunchaku_reconstruct.ML
src/HOL/Tools/Nunchaku/nunchaku_tool.ML
src/HOL/Tools/Nunchaku/nunchaku_translate.ML
src/HOL/Tools/Nunchaku/nunchaku_util.ML
     1.1 --- a/src/HOL/Tools/Nunchaku/nunchaku.ML	Fri Sep 08 15:48:58 2017 +0100
     1.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku.ML	Fri Sep 08 19:22:47 2017 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku.ML
     1.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku.ML
     1.6      Author:     Jasmin Blanchette, VU Amsterdam
     1.7      Copyright   2015, 2016, 2017
     1.8  
     2.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_collect.ML	Fri Sep 08 15:48:58 2017 +0100
     2.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_collect.ML	Fri Sep 08 19:22:47 2017 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku_collect.ML
     2.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku_collect.ML
     2.6      Author:     Jasmin Blanchette, VU Amsterdam
     2.7      Copyright   2015, 2016, 2017
     2.8  
     3.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_commands.ML	Fri Sep 08 15:48:58 2017 +0100
     3.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_commands.ML	Fri Sep 08 19:22:47 2017 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku_commands.ML
     3.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku_commands.ML
     3.6      Author:     Jasmin Blanchette, VU Amsterdam
     3.7      Copyright   2015, 2016, 2017
     3.8  
     4.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_display.ML	Fri Sep 08 15:48:58 2017 +0100
     4.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_display.ML	Fri Sep 08 19:22:47 2017 +0200
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku_display.ML
     4.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku_display.ML
     4.6      Author:     Jasmin Blanchette, VU Amsterdam
     4.7      Copyright   2015, 2016, 2017
     4.8  
     5.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_model.ML	Fri Sep 08 15:48:58 2017 +0100
     5.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_model.ML	Fri Sep 08 19:22:47 2017 +0200
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku_model.ML
     5.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku_model.ML
     5.6      Author:     Jasmin Blanchette, VU Amsterdam
     5.7      Copyright   2015, 2016, 2017
     5.8  
     6.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_problem.ML	Fri Sep 08 15:48:58 2017 +0100
     6.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_problem.ML	Fri Sep 08 19:22:47 2017 +0200
     6.3 @@ -1,4 +1,4 @@
     6.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku_problem.ML
     6.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku_problem.ML
     6.6      Author:     Jasmin Blanchette, VU Amsterdam
     6.7      Copyright   2015, 2016, 2017
     6.8  
     7.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_reconstruct.ML	Fri Sep 08 15:48:58 2017 +0100
     7.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_reconstruct.ML	Fri Sep 08 19:22:47 2017 +0200
     7.3 @@ -1,4 +1,4 @@
     7.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku_reconstruct.ML
     7.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku_reconstruct.ML
     7.6      Author:     Jasmin Blanchette, VU Amsterdam
     7.7      Copyright   2015, 2016, 2017
     7.8  
     8.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_tool.ML	Fri Sep 08 15:48:58 2017 +0100
     8.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_tool.ML	Fri Sep 08 19:22:47 2017 +0200
     8.3 @@ -1,4 +1,4 @@
     8.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku_tool.ML
     8.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku_tool.ML
     8.6      Author:     Jasmin Blanchette, VU Amsterdam
     8.7      Copyright   2015, 2016, 2017
     8.8  
     9.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_translate.ML	Fri Sep 08 15:48:58 2017 +0100
     9.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_translate.ML	Fri Sep 08 19:22:47 2017 +0200
     9.3 @@ -1,4 +1,4 @@
     9.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku_translate.ML
     9.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku_translate.ML
     9.6      Author:     Jasmin Blanchette, VU Amsterdam
     9.7      Copyright   2015, 2016, 2017
     9.8  
    10.1 --- a/src/HOL/Tools/Nunchaku/nunchaku_util.ML	Fri Sep 08 15:48:58 2017 +0100
    10.2 +++ b/src/HOL/Tools/Nunchaku/nunchaku_util.ML	Fri Sep 08 19:22:47 2017 +0200
    10.3 @@ -1,4 +1,4 @@
    10.4 -(*  Title:      HOL/Nunchaku/Tools/nunchaku_util.ML
    10.5 +(*  Title:      HOL/Tools/Nunchaku/nunchaku_util.ML
    10.6      Author:     Jasmin Blanchette, VU Amsterdam
    10.7      Copyright   2015, 2016, 2017
    10.8