src/HOL/ROOT
changeset 63980 f8e556c8ad6f
parent 63960 3daf02070be5
child 64015 c9f3a94cb825
     1.1 --- a/src/HOL/ROOT	Sat Oct 01 17:16:35 2016 +0200
     1.2 +++ b/src/HOL/ROOT	Sat Oct 01 17:38:14 2016 +0200
     1.3 @@ -644,7 +644,6 @@
     1.4      Peirce
     1.5      Drinker
     1.6      Cantor
     1.7 -    Schroeder_Bernstein
     1.8      Structured_Statements
     1.9      Basic_Logic
    1.10      Expr_Compiler