CS_Fixpoint_Algo.thy 3.54 KB