| changeset 12869 | f362c0323d92 |
| parent 12397 | 6766aa05e4eb |
| child 12919 | d6a0d168291e |
--- a/src/HOL/PreList.thy Tue Feb 05 15:51:28 2002 +0100 +++ b/src/HOL/PreList.thy Tue Feb 05 23:18:08 2002 +0100 @@ -9,7 +9,7 @@ theory PreList = Option + Wellfounded_Relations + NatSimprocs + Recdef + Record + - Relation_Power + SVC_Oracle: + Relation_Power: (*belongs to theory Divides*) declare dvdI [intro?] dvdE [elim?] dvd_trans [trans]