src/Tools/try.ML
2011-05-27 blanchet 2011-05-27 renamed "Auto_Tools" "Try"