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.
explicit inclusion of data refinement theory into HOL-Library session
authorhaftmann
Thu, 14 Nov 2013 13:03:09 +0100
changeset 54429 be1bc181bcde
parent 54428 6ccc6130140c
child 54430 e9ff6a25aaa6
explicit inclusion of data refinement theory into HOL-Library session
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Thu Nov 14 10:59:22 2013 +0100
+++ b/src/HOL/ROOT	Thu Nov 14 13:03:09 2013 +0100
@@ -43,6 +43,7 @@
     Code_Real_Approx_By_Float
     Code_Target_Numeral
     DAList
+    DAList_Multiset
     RBT_Mapping
     RBT_Set
     (*legacy tools*)
isabelle