Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
updated headers;
authorwenzelm
Wed, 02 May 2012 11:47:45 +0200
changeset 487187cddb6c8f93c
parent 48717 bbc3e7bccc61
child 48719 030d3c89eacf
updated headers;
src/HOL/Mirabelle/Tools/mirabelle.ML file | annotate | diff | comparison | revisions
src/HOL/Mirabelle/Tools/mirabelle_arith.ML file | annotate | diff | comparison | revisions
src/HOL/Mirabelle/Tools/mirabelle_metis.ML file | annotate | diff | comparison | revisions
src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML file | annotate | diff | comparison | revisions
src/HOL/Mirabelle/Tools/mirabelle_refute.ML file | annotate | diff | comparison | revisions
src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML file | annotate | diff | comparison | revisions
src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML file | annotate | diff | comparison | revisions 
     1.1 --- a/src/HOL/Mirabelle/Tools/mirabelle.ML	Wed May 02 11:45:00 2012 +0200
     1.2 +++ b/src/HOL/Mirabelle/Tools/mirabelle.ML	Wed May 02 11:47:45 2012 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Mirabelle/Actions/mirabelle.ML
     1.5 +(*  Title:      HOL/Mirabelle/Tools/mirabelle.ML
     1.6      Author:     Jasmin Blanchette and Sascha Boehme, TU Munich
     1.7  *)
     1.8  

     2.1 --- a/src/HOL/Mirabelle/Tools/mirabelle_arith.ML	Wed May 02 11:45:00 2012 +0200
     2.2 +++ b/src/HOL/Mirabelle/Tools/mirabelle_arith.ML	Wed May 02 11:47:45 2012 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      HOL/Mirabelle/Actions/mirabelle_arith.ML
     2.5 +(*  Title:      HOL/Mirabelle/Tools/mirabelle_arith.ML
     2.6      Author:     Jasmin Blanchette and Sascha Boehme, TU Munich
     2.7  *)
     2.8  

     3.1 --- a/src/HOL/Mirabelle/Tools/mirabelle_metis.ML	Wed May 02 11:45:00 2012 +0200
     3.2 +++ b/src/HOL/Mirabelle/Tools/mirabelle_metis.ML	Wed May 02 11:47:45 2012 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      HOL/Mirabelle/Actions/mirabelle_metis.ML
     3.5 +(*  Title:      HOL/Mirabelle/Tools/mirabelle_metis.ML
     3.6      Author:     Jasmin Blanchette and Sascha Boehme, TU Munich
     3.7  *)
     3.8  

     4.1 --- a/src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML	Wed May 02 11:45:00 2012 +0200
     4.2 +++ b/src/HOL/Mirabelle/Tools/mirabelle_quickcheck.ML	Wed May 02 11:47:45 2012 +0200
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      HOL/Mirabelle/Actions/mirabelle_quickcheck.ML
     4.5 +(*  Title:      HOL/Mirabelle/Tools/mirabelle_quickcheck.ML
     4.6      Author:     Jasmin Blanchette and Sascha Boehme, TU Munich
     4.7  *)
     4.8  

     5.1 --- a/src/HOL/Mirabelle/Tools/mirabelle_refute.ML	Wed May 02 11:45:00 2012 +0200
     5.2 +++ b/src/HOL/Mirabelle/Tools/mirabelle_refute.ML	Wed May 02 11:47:45 2012 +0200
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      HOL/Mirabelle/Actions/mirabelle_refute.ML
     5.5 +(*  Title:      HOL/Mirabelle/Tools/mirabelle_refute.ML
     5.6      Author:     Jasmin Blanchette and Sascha Boehme, TU Munich
     5.7  *)
     5.8  

     6.1 --- a/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML	Wed May 02 11:45:00 2012 +0200
     6.2 +++ b/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML	Wed May 02 11:47:45 2012 +0200
     6.3 @@ -1,4 +1,4 @@
     6.4 -(*  Title:      HOL/Mirabelle/Actions/mirabelle_sledgehammer.ML
     6.5 +(*  Title:      HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML
     6.6      Author:     Jasmin Blanchette and Sascha Boehme and Tobias Nipkow, TU Munich
     6.7  *)
     6.8  

     7.1 --- a/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML	Wed May 02 11:45:00 2012 +0200
     7.2 +++ b/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML	Wed May 02 11:47:45 2012 +0200
     7.3 @@ -1,4 +1,4 @@
     7.4 -(*  Title:      HOL/Mirabelle/Actions/mirabelle_sledgehammer_filter.ML
     7.5 +(*  Title:      HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML
     7.6      Author:     Jasmin Blanchette, TU Munich
     7.7  *)
     7.8
wneuper/isa