src/HOL/ex/ROOT.ML
author wenzelm
Thu Nov 08 23:50:08 2001 +0100 (2001-11-08)
changeset 12105 1e4451999200
parent 12080 4c1e3a2a87c3
child 12115 d0d41884f787
permissions -rw-r--r--
tuned;
     1 
     2 time_use_thy "Locales";