CS_Fixpoint_Algo_Delay.thy 5.04 KB