diff options
Diffstat (limited to '')
-rw-r--r-- | Coprod.thy | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -62,4 +62,4 @@ lemmas Coprod_form_conds [wellform] = Coprod_form_cond1 Coprod_form_cond2 lemmas Coprod_comps [comp] = Coprod_comp1 Coprod_comp2 -end
\ No newline at end of file +end |