changeset 63763 | 0f61ea70d384 |
parent 63731 | 9f906a2eb0e7 |
child 63827 | b24d0e53dd03 |
--- a/src/HOL/ROOT Thu Sep 01 20:59:51 2016 +0200 +++ b/src/HOL/ROOT Thu Sep 01 21:28:46 2016 +0200 @@ -31,8 +31,12 @@ *} theories Library + Nonpos_Ints + Periodic_Fun + Polynomial_Factorial + Predicate_Compile_Quickcheck + Prefix_Order Rewrite - Nonpos_Ints (*conflicting type class instantiations*) List_lexord Sublist_Order