Mercurial Mercurial > repos > Old_HOL / 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.
changed header
authornipkow
Mon, 24 Jan 1994 16:03:03 +0100
changeset 37 65a546c2b8ed
parent 36 b503da67d2f7
child 38 7ef6ba42914b
changed header
ex/Qsort.ML file | annotate | diff | comparison | revisions
ex/Qsort.thy file | annotate | diff | comparison | revisions
ex/qsort.ML file | annotate | diff | comparison | revisions
ex/qsort.thy file | annotate | diff | comparison | revisions 
--- a/ex/Qsort.ML	Mon Jan 24 16:00:37 1994 +0100
+++ b/ex/Qsort.ML	Mon Jan 24 16:03:03 1994 +0100
@@ -1,3 +1,11 @@
+(*  Title: 	HOL/ex/qsort.ML
+    ID:         $Id$
+    Author: 	Tobias Nipkow
+    Copyright   1994 TU Muenchen
+
+Two verifications of Quicksort
+*)
+
 val ss = list_ss addsimps
  [Qsort.mset_Nil,Qsort.mset_Cons,
   Qsort.sorted_Nil,Qsort.sorted_Cons,
--- a/ex/Qsort.thy	Mon Jan 24 16:00:37 1994 +0100
+++ b/ex/Qsort.thy	Mon Jan 24 16:03:03 1994 +0100
@@ -1,3 +1,11 @@
+(*  Title: 	HOL/ex/qsort.thy
+    ID:         $Id$
+    Author: 	Tobias Nipkow
+    Copyright   1994 TU Muenchen
+
+Quicksort
+*)
+
 Qsort = List +
 consts
   sorted :: "[['a,'a] => bool, 'a list] => bool"
--- a/ex/qsort.ML	Mon Jan 24 16:00:37 1994 +0100
+++ b/ex/qsort.ML	Mon Jan 24 16:03:03 1994 +0100
@@ -1,3 +1,11 @@
+(*  Title: 	HOL/ex/qsort.ML
+    ID:         $Id$
+    Author: 	Tobias Nipkow
+    Copyright   1994 TU Muenchen
+
+Two verifications of Quicksort
+*)
+
 val ss = list_ss addsimps
  [Qsort.mset_Nil,Qsort.mset_Cons,
   Qsort.sorted_Nil,Qsort.sorted_Cons,
--- a/ex/qsort.thy	Mon Jan 24 16:00:37 1994 +0100
+++ b/ex/qsort.thy	Mon Jan 24 16:03:03 1994 +0100
@@ -1,3 +1,11 @@
+(*  Title: 	HOL/ex/qsort.thy
+    ID:         $Id$
+    Author: 	Tobias Nipkow
+    Copyright   1994 TU Muenchen
+
+Quicksort
+*)
+
 Qsort = List +
 consts
   sorted :: "[['a,'a] => bool, 'a list] => bool"
Old_HOL