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.
explicitly import Dlist theory into library
authorhaftmann
Tue, 17 Jul 2012 23:11:27 +0200
changeset 48283 8a1ef12f7e6d
parent 48282 39bfb2844b9e
child 48284 a3cb8901d60c
explicitly import Dlist theory into library
src/HOL/Library/Library.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Library.thy	Tue Jul 17 23:11:24 2012 +0200
+++ b/src/HOL/Library/Library.thy	Tue Jul 17 23:11:27 2012 +0200
@@ -12,6 +12,7 @@
   ContNotDenum
   Convex
   Countable
+  Dlist
   Eval_Witness
   Extended_Nat
   FinFun
isabelle