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.
merged
authorbulwahn
Fri, 07 Jan 2011 15:59:10 +0100
changeset 41461 52d39af5e680
parent 41460 ea56b98aee83 (diff)
parent 41459 f0db8f40d656 (current diff)
child 41462 5f4939d46b63
merged
--- a/src/HOL/ex/CTL.thy	Fri Jan 07 15:39:13 2011 +0100
+++ b/src/HOL/ex/CTL.thy	Fri Jan 07 15:59:10 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 15:39:13 2011 +0100
+++ b/src/HOL/ex/Guess.thy	Fri Jan 07 15:59:10 2011 +0100
@@ -1,5 +1,4 @@
 (*
-    ID:         $Id$
     Author:     Makarius
 *)
 
--- a/src/HOL/ex/Hex_Bin_Examples.thy	Fri Jan 07 15:39:13 2011 +0100
+++ b/src/HOL/ex/Hex_Bin_Examples.thy	Fri Jan 07 15:59:10 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 15:39:13 2011 +0100
+++ b/src/HOL/ex/Higher_Order_Logic.thy	Fri Jan 07 15:59:10 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 15:39:13 2011 +0100
+++ b/src/HOL/ex/Intuitionistic.thy	Fri Jan 07 15:59:10 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 15:39:13 2011 +0100
+++ b/src/HOL/ex/MT.thy	Fri Jan 07 15:59:10 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 15:39:13 2011 +0100
+++ b/src/HOL/ex/MonoidGroup.thy	Fri Jan 07 15:59:10 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 15:39:13 2011 +0100
+++ b/src/HOL/ex/Primrec.thy	Fri Jan 07 15:59:10 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 15:39:13 2011 +0100
+++ b/src/HOL/ex/SVC_Oracle.thy	Fri Jan 07 15:59:10 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 15:39:13 2011 +0100
+++ b/src/HOL/ex/Sorting.thy	Fri Jan 07 15:59:10 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 15:39:13 2011 +0100
+++ b/src/HOL/ex/Unification.thy	Fri Jan 07 15:59:10 2011 +0100
@@ -1,4 +1,4 @@
-(*  ID:         $Id$
+(*
     Author:     Alexander Krauss, Technische Universitaet Muenchen
 *)
 
--- a/src/HOL/ex/set.thy	Fri Jan 07 15:39:13 2011 +0100
+++ b/src/HOL/ex/set.thy	Fri Jan 07 15:59:10 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