src/HOL/Induct/Acc.ML
changeset 5191 8ceaa19f7717
parent 5168 adafef6eb295
child 5223 4cb05273f764
equal deleted inserted replaced
5190:4ae031622592 5191:8ceaa19f7717