src/HOL/PreList.thy
changeset 12919 d6a0d168291e
parent 12869 f362c0323d92
child 13297 e4ae0732e2be
     1.1 --- a/src/HOL/PreList.thy	Thu Feb 21 20:08:09 2002 +0100
     1.2 +++ b/src/HOL/PreList.thy	Thu Feb 21 20:09:19 2002 +0100
     1.3 @@ -8,8 +8,7 @@
     1.4  *)
     1.5  
     1.6  theory PreList =
     1.7 -  Option + Wellfounded_Relations + NatSimprocs + Recdef + Record +
     1.8 -  Relation_Power:
     1.9 +  Wellfounded_Relations + NatSimprocs + Recdef + Relation_Power:
    1.10  
    1.11  (*belongs to theory Divides*)
    1.12  declare dvdI [intro?]  dvdE [elim?]  dvd_trans [trans]