paulson [Wed, 01 Oct 1997 12:07:24 +0200] rev 3758
Exchanged the M and SID fields of the FINISHED messages to simplify proofs;
deleted unused theorems
paulson [Wed, 01 Oct 1997 12:07:07 +0200] rev 3757
Exchanged the M and SID fields of the FINISHED messages to simplify proofs
paulson [Wed, 01 Oct 1997 11:30:55 +0200] rev 3756
Auto update
berghofe [Tue, 30 Sep 1997 17:33:16 +0200] rev 3755
SYNC
berghofe [Tue, 30 Sep 1997 17:32:33 +0200] rev 3754
Removed "browse.tex".
berghofe [Tue, 30 Sep 1997 17:31:19 +0200] rev 3753
Added section describing the theory browser.
berghofe [Tue, 30 Sep 1997 17:29:32 +0200] rev 3752
Updated usage information for tool "usedir".
berghofe [Tue, 30 Sep 1997 17:28:54 +0200] rev 3751
Theory browser stuff has been moved to "present.tex".
wenzelm [Tue, 30 Sep 1997 16:19:27 +0200] rev 3750
obsolete;
wenzelm [Tue, 30 Sep 1997 16:12:38 +0200] rev 3749
ISABELLE_USEDIR_OPTIONS="-i true"
berghofe [Tue, 30 Sep 1997 12:53:54 +0200] rev 3748
Changed html data directory and names of graph files.
berghofe [Tue, 30 Sep 1997 12:52:15 +0200] rev 3747
There is now one single option -i for generating theory browsing
information instead of the two options -h and -g .
berghofe [Tue, 30 Sep 1997 12:49:16 +0200] rev 3746
Modified some links.
paulson [Tue, 30 Sep 1997 11:03:55 +0200] rev 3745
Client, Server certificates now sent using the separate Certificate rule,
simplifying ServerHello and ClientKeyExch. Resumption no longer needs its
own version of ServerHello. Proofs run nearly three minutes faster.