src/HOL/Lambda/ListOrder.thy
changeset 10264 ef384b242d09
parent 9941 fe05af7ec816
child 11639 4213422388c4
     1.1 --- a/src/HOL/Lambda/ListOrder.thy	Wed Oct 18 23:40:58 2000 +0200
     1.2 +++ b/src/HOL/Lambda/ListOrder.thy	Wed Oct 18 23:41:28 2000 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  header {* Lifting an order to lists of elements *}
     1.6  
     1.7 -theory ListOrder = Acc:
     1.8 +theory ListOrder = Accessible_Part:
     1.9  
    1.10  text {*
    1.11    Lifting an order to lists of elements, relating exactly one