|
badHtype_exact.8pus
|
Add more bad 8pus tests
|
2024-05-20 14:52:19 +02:00 |
|
badtype_exact.8pus
|
Add more bad 8pus tests
|
2024-05-20 14:52:19 +02:00 |
|
no_apply.8pus
|
Add bad 8pus files
|
2024-05-20 10:57:55 +02:00 |
|
no_arg_tactic.8pus
|
Add more bad 8pus tests
|
2024-05-20 11:13:28 +02:00 |
|
no_goal.8pus
|
Add bad 8pus files
|
2024-05-20 10:57:55 +02:00 |
|
no_intro.8pus
|
Add bad 8pus files
|
2024-05-20 10:57:55 +02:00 |
|
no_left_right.8pus
|
Add bad 8pus files
|
2024-05-20 10:57:55 +02:00 |
|
no_split.8pus
|
Add bad 8pus files
|
2024-05-20 10:57:55 +02:00 |
|
no_such_hyp.8pus
|
Add bad 8pus files
|
2024-05-20 10:57:55 +02:00 |
|
not_yet_qed.8pus
|
Add more bad 8pus tests
|
2024-05-20 11:13:28 +02:00 |
|
notype_exact.8pus
|
Add more bad 8pus tests
|
2024-05-20 14:52:19 +02:00 |
|
type_apply.8pus
|
Add bad 8pus files
|
2024-05-20 10:57:55 +02:00 |
|
undo_qed.8pus
|
Add more bad 8pus tests
|
2024-05-20 11:13:28 +02:00 |
|
undo_try.8pus
|
Fix Undo try
|
2024-05-20 15:03:50 +02:00 |
|
unknown_tactic.8pus
|
Add more bad 8pus tests
|
2024-05-20 11:13:28 +02:00 |
|
unkown_try.8pus
|
Add more bad 8pus tests
|
2024-05-20 11:13:28 +02:00 |
