changeset 48427 | 571cb1df0768 |
parent 48283 | 8a1ef12f7e6d |
child 48623 | bea613f2543d |
--- a/src/HOL/Library/Library.thy Sat Jul 21 20:01:16 2012 +0200 +++ b/src/HOL/Library/Library.thy Sun Jul 22 09:56:34 2012 +0200 @@ -12,6 +12,7 @@ ContNotDenum Convex Countable + Debug Dlist Eval_Witness Extended_Nat @@ -37,6 +38,7 @@ Old_Recdef OptionalSugar Option_ord + Parallel Permutation Permutations Poly_Deriv