Tue, 22 Sep 2009 08:58:08 +0200 corrected order of type variables in code equations; more precise certificate for cases
haftmann [Tue, 22 Sep 2009 08:58:08 +0200] rev 32640
corrected order of type variables in code equations; more precise certificate for cases
Mon, 21 Sep 2009 16:16:16 +0200 merged
Christian Urban <urbanc@in.tum.de> [Mon, 21 Sep 2009 16:16:16 +0200] rev 32639
merged
Mon, 21 Sep 2009 15:02:23 +0200 tuned some proofs
Christian Urban <urbanc@in.tum.de> [Mon, 21 Sep 2009 15:02:23 +0200] rev 32638
tuned some proofs
Mon, 21 Sep 2009 16:11:36 +0200 merged
haftmann [Mon, 21 Sep 2009 16:11:36 +0200] rev 32637
merged
Mon, 21 Sep 2009 16:01:38 +0200 added session theory for Bali and Nominal_Examples
haftmann [Mon, 21 Sep 2009 16:01:38 +0200] rev 32636
added session theory for Bali and Nominal_Examples
Mon, 21 Sep 2009 16:01:30 +0200 added session theory for Nominal_Examples
haftmann [Mon, 21 Sep 2009 16:01:30 +0200] rev 32635
added session theory for Nominal_Examples
Mon, 21 Sep 2009 16:00:53 +0200 added session theory for Bali
haftmann [Mon, 21 Sep 2009 16:00:53 +0200] rev 32634
added session theory for Bali
Mon, 21 Sep 2009 16:00:34 +0200 adjusted to new Number Theory scenario
haftmann [Mon, 21 Sep 2009 16:00:34 +0200] rev 32633
adjusted to new Number Theory scenario
Mon, 21 Sep 2009 15:33:40 +0200 added session entry point theories
haftmann [Mon, 21 Sep 2009 15:33:40 +0200] rev 32632
added session entry point theories
Mon, 21 Sep 2009 15:33:40 +0200 common base for protocols with symmetric keys
haftmann [Mon, 21 Sep 2009 15:33:40 +0200] rev 32631
common base for protocols with symmetric keys
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip