src/HOL/UNITY/WFair.thy
Fri, 03 Apr 1998 12:34:33 +0200 paulson New UNITY theory
less more (0) tip