Wed, 01 Feb 2006 15:22:02 +0100 new and updated protocol proofs by Giamp Bella
paulson [Wed, 01 Feb 2006 15:22:02 +0100] rev 18886
new and updated protocol proofs by Giamp Bella
Wed, 01 Feb 2006 12:23:14 +0100 substantial cleanup and simplifications
haftmann [Wed, 01 Feb 2006 12:23:14 +0100] rev 18885
substantial cleanup and simplifications
Wed, 01 Feb 2006 12:22:47 +0100 name clarifications
haftmann [Wed, 01 Feb 2006 12:22:47 +0100] rev 18884
name clarifications
Wed, 01 Feb 2006 12:22:19 +0100 added map_entry_yield
haftmann [Wed, 01 Feb 2006 12:22:19 +0100] rev 18883
added map_entry_yield
Wed, 01 Feb 2006 01:05:17 +0100 - renamed some lemmas (some had names coming from ancient
urbanc [Wed, 01 Feb 2006 01:05:17 +0100] rev 18882
- renamed some lemmas (some had names coming from ancient versions of the nominal work) - some tuning - eventually this theory should be renamed to CR
Wed, 01 Feb 2006 01:03:41 +0100 added all constructors from PhD
urbanc [Wed, 01 Feb 2006 01:03:41 +0100] rev 18881
added all constructors from PhD
Tue, 31 Jan 2006 18:19:36 +0100 axiomatization: retrict parameters to occurrences in specs;
wenzelm [Tue, 31 Jan 2006 18:19:36 +0100] rev 18880
axiomatization: retrict parameters to occurrences in specs; definition: restrict parameters to individual rhs;
Tue, 31 Jan 2006 18:19:35 +0100 improved comments;
wenzelm [Tue, 31 Jan 2006 18:19:35 +0100] rev 18879
improved comments;
Tue, 31 Jan 2006 18:19:34 +0100 tuned LocalDefs.unfold;
wenzelm [Tue, 31 Jan 2006 18:19:34 +0100] rev 18878
tuned LocalDefs.unfold;
Tue, 31 Jan 2006 18:19:32 +0100 (un)fold: removed '(raw)' option;
wenzelm [Tue, 31 Jan 2006 18:19:32 +0100] rev 18877
(un)fold: removed '(raw)' option;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip