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
authorhaftmann
Tue, 05 Oct 2010 11:45:16 +0200
changeset 39922 5a8aeeb2e63f
parent 39920 7479334d2c90 (diff)
parent 39921 45f95e4de831 (current diff)
child 39923 0e1bd289c8ea
merged
--- a/src/HOL/Library/positivstellensatz.ML	Tue Oct 05 11:37:42 2010 +0200
+++ b/src/HOL/Library/positivstellensatz.ML	Tue Oct 05 11:45:16 2010 +0200
@@ -270,7 +270,7 @@
   by (atomize (full)) (cases "x <= y", auto simp add: min_def)};
 
 
-         (* Miscalineous *)
+         (* Miscellaneous *)
 fun literals_conv bops uops cv = 
  let fun h t =
   case (term_of t) of
isabelle