Nominal/Ex/SingleLet.thy
Wed, 23 Jun 2010 15:40:00 +0100 Christian Urban merged cezary's changes
Wed, 23 Jun 2010 09:01:45 +0200 Cezary Kaliszyk Un-do the second change to SingleLet.
Wed, 23 Jun 2010 08:49:33 +0200 Cezary Kaliszyk merge
Wed, 23 Jun 2010 08:48:38 +0200 Cezary Kaliszyk Changes for PER and list_all2 committed to Isabelle
Tue, 22 Jun 2010 18:07:53 +0100 Christian Urban proved eqvip theorems for alphas
Tue, 22 Jun 2010 13:05:00 +0100 Christian Urban prove that alpha implies alpha_bn (needed for rsp proofs)
Mon, 21 Jun 2010 06:47:40 +0100 Christian Urban merged with main line
less more (0) -30 -10 -7 tip