1 Commits

Author	SHA1	Message	Date
Samir Jindel	184d1959c5	[kernel] Proofs about type equality, beginnings of the type checking homomorphism proof. ... I also added mutual induction schemes for types and expressions. Some changes from the "Cleanup" revision are in here as well because Gerrit is terrible. Bug: Change-Id: I0859a6c1cba8179e0a64cc0455ab2a83fad8f26b Reviewed-on: https://dart-review.googlesource.com/5300 Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>	2017-09-13 12:00:19 +00:00