src/HOL/Tools/ATP/VampireCommunication.ML
Thu, 14 Jul 2005 19:28:21 +0200 wenzelm proper structure;
Mon, 20 Jun 2005 21:34:31 +0200 wenzelm improved formatting;
Thu, 21 Apr 2005 15:05:24 +0200 paulson added hearder lines and deleted some redundant material
Thu, 31 Mar 2005 19:29:26 +0200 quigley *** empty log message ***
less more (0) tip