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.
spelling
authorkrauss
Fri, 07 May 2010 15:36:03 +0200
changeset 39920 7479334d2c90
parent 39919 9f6503aaa77d
child 39922 5a8aeeb2e63f
spelling
src/HOL/Library/positivstellensatz.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/positivstellensatz.ML	Mon Oct 04 14:46:49 2010 +0200
+++ b/src/HOL/Library/positivstellensatz.ML	Fri May 07 15:36:03 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