Nominal/Nominal2_Base.thy
Wed, 04 Apr 2012 06:19:38 +0100 Christian Urban updated to Isabelle version April 1
Fri, 30 Mar 2012 13:56:36 +0200 Cezary Kaliszyk Clean the proof of Aux
less more (0) -30 -10 -2 tip