nipkow [Wed, 10 Jul 2002 07:20:02 +0200] rev 13329
*** empty log message ***
paulson [Tue, 09 Jul 2002 23:05:26 +0200] rev 13328
better document preparation
paulson [Tue, 09 Jul 2002 23:03:21 +0200] rev 13327
converted List to new-style
nipkow [Tue, 09 Jul 2002 18:54:27 +0200] rev 13326
*** empty log message ***
berghofe [Tue, 09 Jul 2002 18:03:26 +0200] rev 13325
Added function abs_def.
paulson [Tue, 09 Jul 2002 17:25:42 +0200] rev 13324
more and simpler separation proofs
paulson [Tue, 09 Jul 2002 15:39:44 +0200] rev 13323
More relativization, reflection and proofs of separation
nipkow [Tue, 09 Jul 2002 13:41:38 +0200] rev 13322
*** empty log message ***
wenzelm [Tue, 09 Jul 2002 11:55:46 +0200] rev 13321
tuned;
isatest [Tue, 09 Jul 2002 11:46:36 +0200] rev 13320
send email plaform independently