Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 12:05:13 +0200] rev 2086
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 12:04:40 +0200] rev 2085
Membership in a pair of lists.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 10 May 2010 10:22:57 +0200] rev 2084
Synchronize FSet with repository
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 12:38:59 +0100] rev 2083
tuned file names for examples
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 12:26:10 +0100] rev 2082
cleaned up a bit the examples; added equivariance to all examples
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 11:43:24 +0100] rev 2081
fixed the problem with alpha containing splits
Christian Urban <urbanc@in.tum.de> [Sun, 09 May 2010 11:37:19 +0100] rev 2080
added eqvt-lemma for split; changed semantics of perm_simp: excluded stands for constants about which no complaint is written out...eqvt_apply is now always applied
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 07 May 2010 12:28:11 +0200] rev 2079
Manually added some newer keywords from the distribution
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 07 May 2010 12:10:04 +0200] rev 2078
Regularize experiments
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:21:10 +0200] rev 2077
alpha_eqvt_tac with prod_rel and prod_fv simps
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:14:30 +0200] rev 2076
mem => member
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:13:45 +0200] rev 2075
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:13:35 +0200] rev 2074
Fixes for new Isabelle
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:13:05 +0200] rev 2073
compound versions with prod_rel and prod_fun, not made default yet.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 06 May 2010 14:10:56 +0200] rev 2072
prod_rel and prod_fv simps