src/HOL/Induct/README.html
changeset 16417 9bc16273c2d4
parent 15582 7219facb3fd0
child 33688 1a97dcd8dc6a
equal deleted inserted replaced
16416:6061ae1f90f2 16417:9bc16273c2d4