haftmann [Tue, 22 Sep 2009 15:38:12 +0200] rev 32643
merged
haftmann [Tue, 22 Sep 2009 15:36:55 +0200] rev 32642
be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
krauss [Tue, 22 Sep 2009 15:12:45 +0200] rev 32641
tail -n 20: more helpful output if make fails
haftmann [Tue, 22 Sep 2009 08:58:08 +0200] rev 32640
corrected order of type variables in code equations; more precise certificate for cases
Christian Urban <urbanc@in.tum.de> [Mon, 21 Sep 2009 16:16:16 +0200] rev 32639
merged
Christian Urban <urbanc@in.tum.de> [Mon, 21 Sep 2009 15:02:23 +0200] rev 32638
tuned some proofs
haftmann [Mon, 21 Sep 2009 16:11:36 +0200] rev 32637
merged
haftmann [Mon, 21 Sep 2009 16:01:38 +0200] rev 32636
added session theory for Bali and Nominal_Examples
haftmann [Mon, 21 Sep 2009 16:01:30 +0200] rev 32635
added session theory for Nominal_Examples
haftmann [Mon, 21 Sep 2009 16:00:53 +0200] rev 32634
added session theory for Bali