changeset 23502 | cc726aa7d66a |
parent 23454 | c54975167be9 |
child 23808 | 4e4b92e76219 |
1.1 --- a/src/HOL/ex/ROOT.ML Tue Jun 26 08:42:04 2007 +0200 1.2 +++ b/src/HOL/ex/ROOT.ML Tue Jun 26 13:01:48 2007 +0200 1.3 @@ -65,6 +65,8 @@ 1.4 time_use_thy "Commutative_Ring_Complete"; 1.5 time_use_thy "Reflection"; 1.6 1.7 +time_use_thy "NBE"; 1.8 + 1.9 time_use_thy "set"; 1.10 time_use_thy "MT"; 1.11