src/HOL/Nominal/Examples/SOS.thy
Mon, 19 Mar 2007 19:28:27 +0100 urbanc tuned the proof
less more (0) tip