src/HOL/IOA/ABP/Correctness.ML
Mon, 13 Nov 1995 12:06:57 +0100 mueller *** empty log message ***
Wed, 04 Oct 1995 13:12:14 +0100 clasohm added local simpsets
Fri, 08 Sep 1995 14:52:22 +0200 mueller *** empty log message ***
Wed, 31 May 1995 10:45:00 +0200 mueller polish
Thu, 13 Apr 1995 16:55:14 +0200 nipkow ABP: Alternating bit protocol example
less more (0) tip