src/HOL/ex/SList.thy
changeset 1228 7d6b0241afab
parent 1151 c820b3cc3df0
child 1266 3ae9fe3c0f68