src/HOL/Library/SCT_Implementation.thy
changeset 23315 df3a7e9ebadb
parent 22845 5f9138bcb3d7
child 23374 a2f492c599e0