src/ZF/list.thy
changeset 124 858ab9a9b047
equal deleted inserted replaced
123:0a2f744e008a 124:858ab9a9b047
       
     1 (*Dummy theory to document dependencies *)
       
     2 
       
     3 list = Univ + "Datatype" + "intr_elim"