src/HOL/ROOT
changeset 59973 a51af4f12d47
parent 59922 1b6283aa7c94
child 59992 d8db5172c23f
     1.1 --- a/src/HOL/ROOT	Wed Apr 08 20:14:18 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Apr 08 20:41:56 2015 +0200
     1.3 @@ -31,6 +31,7 @@
     1.4    *}
     1.5    theories
     1.6      Library
     1.7 +    Rewrite
     1.8      (*conflicting type class instantiations*)
     1.9      List_lexord
    1.10      Sublist_Order