diff options
Diffstat (limited to 'spartan/theories/Identity.thy')
| -rw-r--r-- | spartan/theories/Identity.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spartan/theories/Identity.thy b/spartan/theories/Identity.thy index 4a4cc40..3f16f4c 100644 --- a/spartan/theories/Identity.thy +++ b/spartan/theories/Identity.thy @@ -40,7 +40,7 @@ axiomatization where lemmas [intros] = IdF IdI and - [elims] = IdE and + [elims "?p" (*"?x" "?y"*)] = IdE and [comps] = Id_comp |