Thu, 10 Oct 1996 11:09:03 +0200 Removed LK since Sequents contains everything in it
paulson [Thu, 10 Oct 1996 11:09:03 +0200] rev 2085
Removed LK since Sequents contains everything in it
Thu, 10 Oct 1996 10:57:33 +0200 New root file with more description, and merging LK and Modal to Sequents
paulson [Thu, 10 Oct 1996 10:57:33 +0200] rev 2084
New root file with more description, and merging LK and Modal to Sequents
Thu, 10 Oct 1996 10:47:26 +0200 Tidied some proofs: changed needed for de Morgan laws
paulson [Thu, 10 Oct 1996 10:47:26 +0200] rev 2083
Tidied some proofs: changed needed for de Morgan laws
Thu, 10 Oct 1996 10:46:14 +0200 Addition of de Morgan laws
paulson [Thu, 10 Oct 1996 10:46:14 +0200] rev 2082
Addition of de Morgan laws
Thu, 10 Oct 1996 10:45:20 +0200 Removed Fast_tac made redundant by addition of de Morgan laws
paulson [Thu, 10 Oct 1996 10:45:20 +0200] rev 2081
Removed Fast_tac made redundant by addition of de Morgan laws
Wed, 09 Oct 1996 13:50:28 +0200 Fuller description of examples
paulson [Wed, 09 Oct 1996 13:50:28 +0200] rev 2080
Fuller description of examples
Wed, 09 Oct 1996 13:47:38 +0200 Plain text README files now redundant due to HTML versions
paulson [Wed, 09 Oct 1996 13:47:38 +0200] rev 2079
Plain text README files now redundant due to HTML versions
Wed, 09 Oct 1996 13:43:51 +0200 New version of axiom sees1_Says:
paulson [Wed, 09 Oct 1996 13:43:51 +0200] rev 2078
New version of axiom sees1_Says: Previously it only allowed the SENDER to see the content of messages... Now instead the RECIPIENT sees the messages. This change had no effect on subsequent proofs because protocol rules refer specifically to the relevant messages sent to an agent.
Wed, 09 Oct 1996 13:39:25 +0200 Plain text README files now redundant due to HTML versions
paulson [Wed, 09 Oct 1996 13:39:25 +0200] rev 2077
Plain text README files now redundant due to HTML versions
Wed, 09 Oct 1996 13:38:11 +0200 cond_timeit now catches exception Time, which sml/nj
paulson [Wed, 09 Oct 1996 13:38:11 +0200] rev 2076
cond_timeit now catches exception Time, which sml/nj sometimes raised for no obvious reason
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip