| author | wenzelm |
| Sun, 01 Oct 2006 18:29:23 +0200 | |
| changeset 20807 | bd3b60f9a343 |
| parent 16966 | 37e34f315057 |
| child 22359 | 94a794672c8b |
| permissions | -rw-r--r-- |
| 20807 | 1 |
(* $Id$ *) |
2 |
||
|
11398
d7711be8c3a9
Library/ROOT.ML moved to Library/Library/ROOT.ML to avoid accidential
wenzelm
parents:
diff
changeset
|
3 |
use_thy "Library"; |
|
16966
37e34f315057
1. changed configuration variables for linear programming (Cplex_tools):
obua
parents:
11398
diff
changeset
|
4 |
use_thy "List_Prefix"; |
|
37e34f315057
1. changed configuration variables for linear programming (Cplex_tools):
obua
parents:
11398
diff
changeset
|
5 |
use_thy "List_lexord"; |