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.
tuned header;
authorwenzelm
Wed, 30 Nov 2011 16:03:18 +0100
changeset 45692 d2567e55af83
parent 45691 d1e716cc3b84
child 45693 bbd2c7ffc02c
tuned header;
src/HOL/Library/Saturated.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Saturated.thy	Wed Nov 30 12:09:29 2011 +0100
+++ b/src/HOL/Library/Saturated.thy	Wed Nov 30 16:03:18 2011 +0100
@@ -1,6 +1,8 @@
-(* Author: Brian Huffman *)
-(* Author: Peter Gammie *)
-(* Author: Florian Haftmann *)
+(*  Title:      HOL/Library/Saturated.thy
+    Author:     Brian Huffman
+    Author:     Peter Gammie
+    Author:     Florian Haftmann
+*)
 
 header {* Saturated arithmetic *}
isabelle