diff options
Diffstat (limited to 'coq/ML4PG/libs/ssreflect/jvm/factorial_names')
| -rw-r--r-- | coq/ML4PG/libs/ssreflect/jvm/factorial_names | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/coq/ML4PG/libs/ssreflect/jvm/factorial_names b/coq/ML4PG/libs/ssreflect/jvm/factorial_names new file mode 100644 index 00000000..4f30297f --- /dev/null +++ b/coq/ML4PG/libs/ssreflect/jvm/factorial_names @@ -0,0 +1,6 @@ +1 helper_fact_is_theta +2 fn_fact_is_theta +3 loop_is_helper_fact +4 program_is_fn_fact +5 program_correct_fact +6 total_correctness_fact |