Added an argument in favour of postulating the mgu.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 1 Jul 2010 12:51:30 +0000 (13:51 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 1 Jul 2010 12:51:30 +0000 (13:51 +0100)
commite9305c75b635c140fe2a5f0b8c9d6d5ab8994c7c
tree69d32f27fa98ca285f48303bc4a5b380200218b3
parent371f5a44bfb24c2d407a2e50516eca34cc6f76e8
Added an argument in favour of postulating the mgu.
Subst.agda