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.
Bad translation fixed.
authornipkow
Tue, 29 Jun 1999 11:58:21 +0200
changeset 6855 36de02d1a257
parent 6854 60a5ee0ca81d
child 6856 0364007b4bb3
Bad translation fixed.
src/HOL/Ord.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Ord.thy	Mon Jun 28 23:05:19 1999 +0200
+++ b/src/HOL/Ord.thy	Tue Jun 29 11:58:21 1999 +0200
@@ -66,6 +66,6 @@
  "! x<y.  P"  =>  "! x. x < y  --> P"
  "! x<=y. P"  =>  "! x. x <= y --> P"
  "? x<y.  P"  =>  "? x. x < y  & P"
- "? x<=y. P"  =>  "! x. x <= y & P"
+ "? x<=y. P"  =>  "? x. x <= y & P"
 
 end
isabelle