src/HOL/ex/atp_export.ML
Tue, 07 Jun 2011 07:06:24 +0200 blanchet renamed ML function
Tue, 07 Jun 2011 07:04:53 +0200 blanchet renamed example theory to "ATP_Export", for consistency with its underlying "ATP_" modules
less more (0) tip