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.
mono: extra I/E;
authorwenzelm
Fri, 09 Jul 1999 18:59:01 +0200
changeset 6957 d8026ebe4516
parent 6956 18c0457efd3d
child 6958 2ed4b761d6d5
mono: extra I/E;
src/HOL/Isar_examples/KnasterTarski.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Isar_examples/KnasterTarski.thy	Fri Jul 09 18:58:05 1999 +0200
+++ b/src/HOL/Isar_examples/KnasterTarski.thy	Fri Jul 09 18:59:01 1999 +0200
@@ -9,8 +9,6 @@
 theory KnasterTarski = Main:;
 
 
-theorems [dest] = monoD;  (* FIXME [dest!!] *)
-
 text {*
  The proof of Knaster-Tarski below closely follows the presentation in
  'Introduction to Lattices' and Order by Davey/Priestley, pages
isabelle