src/HOL/Tools/try.ML
Wed, 08 Sep 2010 15:57:50 +0200 blanchet remove "safe" (as suggested by Tobias) and added "arith" to "try"
Tue, 31 Aug 2010 21:17:19 +0200 blanchet distinguish between "by" and "apply"
Tue, 31 Aug 2010 21:01:47 +0200 blanchet fiddling with "try"
Tue, 31 Aug 2010 20:24:28 +0200 blanchet "try" -- a new diagnosis tool that tries to apply several methods in parallel
less more (0) tip