proper test for session HOL-Library;
authorwenzelm
Wed Apr 08 20:41:56 2015 +0200 (2015-04-08)
changeset 59973a51af4f12d47
parent 59972 8ed8cc21c8a1
child 59974 b911c8ba0b69
proper test for session HOL-Library;
src/HOL/ROOT
     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