src/HOL/Induct/Acc.ML
changeset 5191 8ceaa19f7717
parent 5168 adafef6eb295
child 5223 4cb05273f764