src/HOL/Import/HOL/seq.imp
changeset 18851 9502ce541f01
parent 17694 b7870c2bd7df
child 44763 b50d5d694838