From: Matt McCutchen Date: Mon, 28 Jul 2008 15:08:09 +0000 (-0400) Subject: Rename Instance -> PMInstance and introduce PMatching type. X-Git-Url: https://mattmccutchen.net/match/match.git/commitdiff_plain/05a6f0edaacc70ab373988ec4bafdf9963551004?hp=05a6f0edaacc70ab373988ec4bafdf9963551004 Rename Instance -> PMInstance and introduce PMatching type. ---