power_names « jvm « ssreflect « libs « ML4PG « contrib - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/contrib/ML4PG/libs/ssreflect/jvm/power_names

blob: 026bd36d2df16cd317bd025a8727d5379cd76373 (plain)

1 helper_power_is_theta
2 fn_power_is_theta
3 loop_is_helper_power
4 program_is_fn_power
5 program_correct_power
6 total_correctness_power