HomeIsabelle/Phabricator

Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31'

Authored by dcjm on Fri, Jul 24, 12:36 PM.

Merged Changes

CommitAuthorDetailsCommitted
196ac3bc7d11dcjm
Move the test for the result of PolyCompareArbitrary up to the top-level of… 
Jul 7
f186be011f67dcjm
Add PointerEq as a binary operation and reserve WordComparison for the tagged… 
Jul 6