# HG changeset patch # User wenzelm # Date 1463163722 -7200 # Node ID 54f16a0a30690d187449141f233c1d639d2a23f0 # Parent 7aa9ac5165e43ebf604bdd754b4bbbb2e864806c more complete theories; diff -r 7aa9ac5165e4 -r 54f16a0a3069 src/HOL/ROOT --- a/src/HOL/ROOT Thu May 12 22:06:18 2016 +0200 +++ b/src/HOL/ROOT Fri May 13 20:22:02 2016 +0200 @@ -32,6 +32,7 @@ theories Library Rewrite + Nonpos_Ints (*conflicting type class instantiations*) List_lexord Sublist_Order