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.
fixed headers
authorhaftmann
Mon, 22 Sep 2008 08:00:24 +0200
changeset 28308 d4396a28fb29
parent 28307 39328b6ea7e8
child 28309 c24bc53c815c
fixed headers
src/HOL/NSA/hypreal_arith.ML file | annotate | diff | comparison | revisions
src/HOL/SizeChange/ROOT.ML file | annotate | diff | comparison | revisions
src/HOL/SizeChange/sct.ML file | annotate | diff | comparison | revisions
src/HOL/Statespace/state_fun.ML file | annotate | diff | comparison | revisions
src/HOL/Statespace/state_space.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/dseq.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/numeral.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/old_primrec_package.ML file | annotate | diff | comparison | revisions
src/Pure/Concurrent/ROOT.ML file | annotate | diff | comparison | revisions
src/Pure/General/integer.ML file | annotate | diff | comparison | revisions
src/Tools/induct_tacs.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/NSA/hypreal_arith.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/NSA/hypreal_arith.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Hyperreal/hypreal_arith.ML
+(*  Title:      HOL/NSA/hypreal_arith.ML
     ID:         $Id$
     Author:     Tobias Nipkow, TU Muenchen
     Copyright   1999 TU Muenchen
--- a/src/HOL/SizeChange/ROOT.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/SizeChange/ROOT.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/ROOT.ML
+(*  Title:      HOL/SizeChange/ROOT.ML
     ID:         $Id$
 *)
 
--- a/src/HOL/SizeChange/sct.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/SizeChange/sct.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Library/sct.ML
+(*  Title:      HOL/SizeChange/sct.ML
     ID:         $Id$
     Author:     Alexander Krauss, TU Muenchen
 
--- a/src/HOL/Statespace/state_fun.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Statespace/state_fun.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      state_fun.ML
+(*  Title:      HOL/Statespace/state_fun.ML
     ID:         $Id$
     Author:     Norbert Schirmer, TU Muenchen
 *)
--- a/src/HOL/Statespace/state_space.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Statespace/state_space.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      state_space.ML
+(*  Title:      HOL/Statespace/state_space.ML
     ID:         $Id$
     Author:     Norbert Schirmer, TU Muenchen
 *)
--- a/src/HOL/Tools/dseq.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Tools/dseq.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/DSeq.ML
+(*  Title:      HOL/Tools/dseq.ML
     ID:         $Id$
     Author:     Stefan Berghofer, TU Muenchen
 
--- a/src/HOL/Tools/numeral.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Tools/numeral.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/Int.ML
+(*  Title:      HOL/Tools/numeral.ML
     ID:         $Id$
     Author:     Makarius
 
--- a/src/HOL/Tools/old_primrec_package.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/HOL/Tools/old_primrec_package.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/primrec_package.ML
+(*  Title:      HOL/Tools/old_primrec_package.ML
     ID:         $Id$
     Author:     Stefan Berghofer, TU Muenchen and Norbert Voelker, FernUni Hagen
 
--- a/src/Pure/Concurrent/ROOT.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/Pure/Concurrent/ROOT.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Pure/General/ROOT.ML
+(*  Title:      Pure/Concurrent/ROOT.ML
     ID:         $Id$
 
 Concurrency within the ML runtime.
--- a/src/Pure/General/integer.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/Pure/General/integer.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Tools/integer.ML
+(*  Title:      Pure/General/integer.ML
     ID:         $Id$
     Author:     Florian Haftmann, TU Muenchen
 
--- a/src/Tools/induct_tacs.ML	Mon Sep 22 08:00:23 2008 +0200
+++ b/src/Tools/induct_tacs.ML	Mon Sep 22 08:00:24 2008 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Tools/induct_tacs.ML
+(*  Title:      Tools/induct_tacs.ML
     ID:         $Id$
     Author:     Makarius
isabelle