standardize "Author" tags
authorblanchet
Tue Jul 27 19:17:15 2010 +0200 (2010-07-27)
changeset 38027505657ddb047
parent 38026 bdd19b641062
child 38028 22dcaec5fa77
standardize "Author" tags
src/HOL/Sledgehammer.thy
src/HOL/Tools/ATP_Manager/atp_problem.ML
src/HOL/Tools/Sledgehammer/clausifier.ML
src/HOL/Tools/Sledgehammer/meson_tactic.ML
src/HOL/Tools/Sledgehammer/metis_clauses.ML
src/HOL/Tools/Sledgehammer/metis_tactics.ML
src/HOL/Tools/Sledgehammer/sledgehammer_fact_filter.ML
src/HOL/Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML
     1.1 --- a/src/HOL/Sledgehammer.thy	Tue Jul 27 18:50:22 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Tue Jul 27 19:17:15 2010 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  (*  Title:      HOL/Sledgehammer.thy
     1.5 -    Author:     Lawrence C Paulson
     1.6 +    Author:     Lawrence C. Paulson, Cambridge University Computer Laboratory
     1.7      Author:     Jia Meng, NICTA
     1.8      Author:     Fabian Immler, TU Muenchen
     1.9      Author:     Jasmin Blanchette, TU Muenchen
     2.1 --- a/src/HOL/Tools/ATP_Manager/atp_problem.ML	Tue Jul 27 18:50:22 2010 +0200
     2.2 +++ b/src/HOL/Tools/ATP_Manager/atp_problem.ML	Tue Jul 27 19:17:15 2010 +0200
     2.3 @@ -1,5 +1,5 @@
     2.4  (*  Title:      HOL/Tools/ATP_Manager/atp_problem.ML
     2.5 -    Author:     Jia Meng, NICTA
     2.6 +    Author:     Jia Meng, Cambridge University Computer Laboratory and NICTA
     2.7      Author:     Jasmin Blanchette, TU Muenchen
     2.8  
     2.9  TPTP syntax.
     3.1 --- a/src/HOL/Tools/Sledgehammer/clausifier.ML	Tue Jul 27 18:50:22 2010 +0200
     3.2 +++ b/src/HOL/Tools/Sledgehammer/clausifier.ML	Tue Jul 27 19:17:15 2010 +0200
     3.3 @@ -1,5 +1,5 @@
     3.4  (*  Title:      HOL/Tools/Sledgehammer/clausifier.ML
     3.5 -    Author:     Jia Meng, Cambridge University Computer Laboratory
     3.6 +    Author:     Jia Meng, Cambridge University Computer Laboratory and NICTA
     3.7      Author:     Jasmin Blanchette, TU Muenchen
     3.8  
     3.9  Transformation of axiom rules (elim/intro/etc) into CNF forms.
     4.1 --- a/src/HOL/Tools/Sledgehammer/meson_tactic.ML	Tue Jul 27 18:50:22 2010 +0200
     4.2 +++ b/src/HOL/Tools/Sledgehammer/meson_tactic.ML	Tue Jul 27 19:17:15 2010 +0200
     4.3 @@ -1,5 +1,5 @@
     4.4  (*  Title:      HOL/Tools/Sledgehammer/meson_tactic.ML
     4.5 -    Author:     Jia Meng, Cambridge University Computer Laboratory
     4.6 +    Author:     Jia Meng, Cambridge University Computer Laboratory and NICTA
     4.7      Author:     Jasmin Blanchette, TU Muenchen
     4.8  
     4.9  MESON general tactic and proof method.
     5.1 --- a/src/HOL/Tools/Sledgehammer/metis_clauses.ML	Tue Jul 27 18:50:22 2010 +0200
     5.2 +++ b/src/HOL/Tools/Sledgehammer/metis_clauses.ML	Tue Jul 27 19:17:15 2010 +0200
     5.3 @@ -1,5 +1,5 @@
     5.4  (*  Title:      HOL/Tools/Sledgehammer/metis_clauses.ML
     5.5 -    Author:     Jia Meng, Cambridge University Computer Laboratory
     5.6 +    Author:     Jia Meng, Cambridge University Computer Laboratory and NICTA
     5.7      Author:     Jasmin Blanchette, TU Muenchen
     5.8  
     5.9  Storing/printing FOL clauses and arity clauses.  Typed equality is
     6.1 --- a/src/HOL/Tools/Sledgehammer/metis_tactics.ML	Tue Jul 27 18:50:22 2010 +0200
     6.2 +++ b/src/HOL/Tools/Sledgehammer/metis_tactics.ML	Tue Jul 27 19:17:15 2010 +0200
     6.3 @@ -1,5 +1,7 @@
     6.4  (*  Title:      HOL/Tools/Sledgehammer/metis_tactics.ML
     6.5 -    Author:     Kong W. Susanto and Lawrence C. Paulson, CU Computer Laboratory
     6.6 +    Author:     Kong W. Susanto, Cambridge University Computer Laboratory
     6.7 +    Author:     Lawrence C. Paulson, Cambridge University Computer Laboratory
     6.8 +    Author:     Jasmin Blanchette, TU Muenchen
     6.9      Copyright   Cambridge University 2007
    6.10  
    6.11  HOL setup for the Metis prover.
     7.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_fact_filter.ML	Tue Jul 27 18:50:22 2010 +0200
     7.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_fact_filter.ML	Tue Jul 27 19:17:15 2010 +0200
     7.3 @@ -1,5 +1,5 @@
     7.4  (*  Title:      HOL/Tools/Sledgehammer/sledgehammer_fact_filter.ML
     7.5 -    Author:     Jia Meng, Cambridge University Computer Laboratory, NICTA
     7.6 +    Author:     Jia Meng, Cambridge University Computer Laboratory and NICTA
     7.7      Author:     Jasmin Blanchette, TU Muenchen
     7.8  *)
     7.9  
     8.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML	Tue Jul 27 18:50:22 2010 +0200
     8.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML	Tue Jul 27 19:17:15 2010 +0200
     8.3 @@ -1,5 +1,6 @@
     8.4  (*  Title:      HOL/Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML
     8.5 -    Author:     Lawrence C Paulson and Claire Quigley, Cambridge University Computer Laboratory
     8.6 +    Author:     Lawrence C. Paulson, Cambridge University Computer Laboratory
     8.7 +    Author:     Claire Quigley, Cambridge University Computer Laboratory
     8.8      Author:     Jasmin Blanchette, TU Muenchen
     8.9  
    8.10  Transfer of proofs from external provers.