diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-07-25 16:32:51 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-07-25 16:32:51 +0100 |
| commit | c305e99c3f0866d2aa4fb0431b06fc398663bd94 (patch) | |
| tree | c1dcc5321816c953b11f04b27b438c3de788970c /unify.ipkg | |
| parent | bb4e7c82b7ecd93b7241be5fcc547cfd282a8908 (diff) | |
Remove SFin.
Delete unused modules.
Restructure some proofs to reduce the number of lemmas.
Diffstat (limited to 'unify.ipkg')
| -rw-r--r-- | unify.ipkg | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -8,11 +8,8 @@ depends = contrib modules = Data.Fin.Occurs - , Data.Fin.Strong - , Data.Maybe.Properties , Data.Term , Data.Term.Property , Data.Term.Unify , Data.Term.Zipper - , Data.Vect.Properties.Insert , Data.Vect.Quantifiers.Extra |