Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removing obselete Id comments from HOL/ex theories
authorbulwahn
Fri, 07 Jan 2011 14:46:28 +0100
changeset 41460 ea56b98aee83
parent 41441 a7a03f856354
child 41461 52d39af5e680
removing obselete Id comments from HOL/ex theories
src/HOL/ex/CTL.thy file | annotate | diff | comparison | revisions
src/HOL/ex/Guess.thy file | annotate | diff | comparison | revisions
src/HOL/ex/Hex_Bin_Examples.thy file | annotate | diff | comparison | revisions
src/HOL/ex/Higher_Order_Logic.thy file | annotate | diff | comparison | revisions
src/HOL/ex/Intuitionistic.thy file | annotate | diff | comparison | revisions
src/HOL/ex/MT.thy file | annotate | diff | comparison | revisions
src/HOL/ex/MonoidGroup.thy file | annotate | diff | comparison | revisions
src/HOL/ex/Primrec.thy file | annotate | diff | comparison | revisions
src/HOL/ex/SVC_Oracle.thy file | annotate | diff | comparison | revisions
src/HOL/ex/Sorting.thy file | annotate | diff | comparison | revisions
src/HOL/ex/Unification.thy file | annotate | diff | comparison | revisions
src/HOL/ex/set.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/CTL.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/CTL.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/CTL.thy
-    ID:         $Id$
     Author:     Gertrud Bauer
 *)
 
--- a/src/HOL/ex/Guess.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Guess.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*
-    ID:         $Id$
     Author:     Makarius
 *)
 
--- a/src/HOL/ex/Hex_Bin_Examples.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Hex_Bin_Examples.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/Hex_Bin_Examples.thy
-    ID:         $Id$
     Author:     Gerwin Klein, NICTA
 *)
 
--- a/src/HOL/ex/Higher_Order_Logic.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Higher_Order_Logic.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/Higher_Order_Logic.thy
-    ID:         $Id$
     Author:     Gertrud Bauer and Markus Wenzel, TU Muenchen
 *)
 
--- a/src/HOL/ex/Intuitionistic.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Intuitionistic.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/Intuitionistic.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
 
--- a/src/HOL/ex/MT.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/MT.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/MT.thy
-    ID:         $Id$
     Author:     Jacob Frost, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
--- a/src/HOL/ex/MonoidGroup.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/MonoidGroup.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/MonoidGroup.thy
-    ID:         $Id$
     Author:     Markus Wenzel
 *)
 
--- a/src/HOL/ex/Primrec.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Primrec.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/Primrec.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1997  University of Cambridge
 
--- a/src/HOL/ex/SVC_Oracle.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/SVC_Oracle.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/SVC_Oracle.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson
     Copyright   1999  University of Cambridge
 
--- a/src/HOL/ex/Sorting.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Sorting.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/sorting.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1994 TU Muenchen
 *)
--- a/src/HOL/ex/Unification.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Unification.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,4 +1,4 @@
-(*  ID:         $Id$
+(*
     Author:     Alexander Krauss, Technische Universitaet Muenchen
 *)
 
--- a/src/HOL/ex/set.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/set.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/set.thy
-    ID:         $Id$
     Author:     Tobias Nipkow and Lawrence C Paulson
     Copyright   1991  University of Cambridge
 *)
isabelle