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.
Ord.thy/.ML converted to Isar
authoroheimb
Thu, 15 Feb 2001 16:00:35 +0100
changeset 11133 7c66f3dc7d14
parent 11132 09622301ca07
child 11134 8bc06c4202cd
Ord.thy/.ML converted to Isar
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Feb 15 15:56:51 2001 +0100
+++ b/src/HOL/IsaMakefile	Thu Feb 15 16:00:35 2001 +0100
@@ -86,7 +86,7 @@
   Inverse_Image.ML Inverse_Image.thy Lfp.ML \
   Lfp.thy List.ML List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML \
   Nat.thy NatArith.ML NatArith.thy NatDef.ML NatDef.thy Numeral.thy \
-  Option.ML Option.thy Ord.ML Ord.thy Power.ML Power.thy PreList.thy \
+  Option.ML Option.thy Ord.thy Power.ML Power.thy PreList.thy \
   Product_Type_lemmas.ML Product_Type.thy ROOT.ML Recdef.thy Record.thy \
   Relation.ML Relation.thy Relation_Power.ML Relation_Power.thy \
   SVC_Oracle.ML SVC_Oracle.thy Set.ML Set.thy SetInterval.ML \
isabelle