src/HOL/Library/SCT_Interpretation.thy
changeset 23315 df3a7e9ebadb
parent 22665 cf152ff55d16
child 23374 a2f492c599e0