src/HOL/Library/Code_Prolog.thy
changeset 54863 82acc20ded73
parent 54489 03ff4d1e6784
child 55447 aa41ecbdc205
equal deleted inserted replaced
54862:c65e5cbdbc97 54863:82acc20ded73