author haftmann

Tue, 17 Jul 2012 23:11:27 +0200

changeset 49298 8a1ef12f7e6d

parent 49297 39bfb2844b9e

child 49299 a3cb8901d60c

src/HOL/Library/Library.thy file | annotate | diff | comparison | revisions
     1.1 --- a/src/HOL/Library/Library.thy	Tue Jul 17 23:11:24 2012 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Jul 17 23:11:27 2012 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4    ContNotDenum
     1.5    Convex
     1.6    Countable
     1.7 +  Dlist
     1.8    Eval_Witness
     1.9    Extended_Nat
    1.10    FinFun