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.
fixed lookup_theory;
authorwenzelm
Mon, 04 Oct 1999 12:22:14 +0200
changeset 7687 3383b8223e46
parent 7686 4731f10af2e6
child 7688 d106cad8f515
fixed lookup_theory;
src/Pure/Thy/thy_info.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_info.ML	Mon Oct 04 10:19:18 1999 +0200
+++ b/src/Pure/Thy/thy_info.ML	Mon Oct 04 12:22:14 1999 +0200
@@ -152,7 +152,10 @@
 
 (* access theory *)
 
-fun lookup_theory name = #2 (get_thy name);
+fun lookup_theory name =
+  (case lookup_thy name of
+    Some (_, Some thy) => Some thy
+  | _ => None);
 
 fun get_theory name =
   (case lookup_theory name of
isabelle