wenzelm [Wed, 06 Nov 1996 12:49:31 +0100] rev 2163
tuned fix_shyps a little bit more;
nipkow [Tue, 05 Nov 1996 18:35:40 +0100] rev 2162
New version of paper.
paulson [Tue, 05 Nov 1996 11:48:09 +0100] rev 2161
Replaced the very slow "find" command by "rm" with wildcards
paulson [Tue, 05 Nov 1996 11:20:52 +0100] rev 2160
Simplified new_keys_not_seen, etc.: replaced the
union over all
agents by the Spy alone. Proofs run faster and they do not have to be
set up in terms of a previous lemma.
nipkow [Mon, 04 Nov 1996 17:23:37 +0100] rev 2159
Used nat_trans_tac. New Eta. various smaller changes.
paulson [Mon, 04 Nov 1996 10:56:15 +0100] rev 2158
Renamed SELECT_GOAL's new parameter from x to selct to avoid clashes
paulson [Mon, 04 Nov 1996 10:54:26 +0100] rev 2157
Removal of now unused sum, max, min. Use foldl op+, Int.max, Int.min