2 Commits

Author	SHA1	Message	Date
Andreas Stadelmeier	26678767c2	Cleanup, rephrase introduction. Fix and Cleanup type rules. Remove override	2024-02-07 17:29:41 +01:00
Andreas Stadelmeier	14ebe4c360	Fix errrors in TYPE. Fix Unify soundness proof. start TYPE Soundness proof. Add elimination/transformation WildFJ <-> WildFJ-GT	2023-12-29 03:38:07 +01:00