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.
header comment
authorpaulson
Thu, 24 Jul 2003 16:41:40 +0200
changeset 14128 fd6d20c2371c
parent 14127 40a4768c8e0b
child 14129 d4e2ab7cc86b
header comment
src/HOL/Integ/NatSimprocs.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Integ/NatSimprocs.thy	Thu Jul 24 16:37:04 2003 +0200
+++ b/src/HOL/Integ/NatSimprocs.thy	Thu Jul 24 16:41:40 2003 +0200
@@ -1,4 +1,10 @@
-(*Loading further simprocs*)
+(*  Title:      HOL/NatSimprocs.thy
+    ID:         $Id$
+    Copyright   2003 TU Muenchen
+*)
+
+header {*Simprocs for the Naturals*}
+
 theory NatSimprocs = NatBin
 files "int_factor_simprocs.ML" "nat_simprocs.ML":
isabelle