Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Bali/Evaln.thy
changeset 12919 d6a0d168291e
parent 12859 f63315dfffd4
child 12925 99131847fb93 
--- a/src/HOL/Bali/Evaln.thy	Thu Feb 21 20:08:09 2002 +0100
+++ b/src/HOL/Bali/Evaln.thy	Thu Feb 21 20:09:19 2002 +0100
@@ -323,7 +323,7 @@
 
 ML {*
 local
-  fun is_Some (Const ("Pair",_) $ (Const ("Option.option.Some",_) $ _)$ _) =true
+  fun is_Some (Const ("Pair",_) $ (Const ("Datatype.option.Some",_) $ _)$ _) =true
     | is_Some _ = false
   fun pred (_ $ (Const ("Pair",_) $
      _ $ (Const ("Pair", _) $ _ $ (Const ("Pair", _) $ _ $
isabelle