src/HOL/TPTP/mash_eval.ML
Wed, 18 Jul 2012 08:44:04 +0200 blanchet cleaner handling of metacharacters + freshness of one-off facts
Wed, 18 Jul 2012 08:44:04 +0200 blanchet improved MaSh string escaping and make more operations string-based
Wed, 18 Jul 2012 08:44:03 +0200 blanchet tweak output
Wed, 18 Jul 2012 08:44:03 +0200 blanchet centrally construct expensive data structures
Wed, 18 Jul 2012 08:44:03 +0200 blanchet more work on MaSh
Wed, 18 Jul 2012 08:44:03 +0200 blanchet renamed Sledgehammer options
Wed, 18 Jul 2012 08:44:03 +0200 blanchet more code rationalization in relevance filter
Wed, 18 Jul 2012 08:44:03 +0200 blanchet systematize lazy names in relevance filter
Wed, 18 Jul 2012 08:44:03 +0200 blanchet renaming
less more (0) tip