| changeset 13878 | 90ca3815e4b2 |
| parent 13297 | e4ae0732e2be |
| child 14125 | bf8edef6c1f1 |
--- a/src/HOL/PreList.thy Tue Mar 25 09:48:38 2003 +0100 +++ b/src/HOL/PreList.thy Tue Mar 25 09:49:13 2003 +0100 @@ -8,7 +8,7 @@ *) theory PreList = - Wellfounded_Relations + NatSimprocs + Recdef + Relation_Power: + Wellfounded_Relations + Presburger + Recdef + Relation_Power: (*belongs to theory Divides*) declare dvdI [intro?] dvdE [elim?] dvd_trans [trans]