| author | wenzelm |
| Sat, 15 Oct 2005 00:08:00 +0200 | |
| changeset 17851 | 2fa4f9b54761 |
| parent 9650 | 6f0b89f2a1f9 |
| permissions | -rw-r--r-- |
|
9650
6f0b89f2a1f9
Main now new-style theory; added Main.ML for compatibility;
wenzelm
parents:
diff
changeset
|
1 |
|
|
6f0b89f2a1f9
Main now new-style theory; added Main.ML for compatibility;
wenzelm
parents:
diff
changeset
|
2 |
structure Main = |
|
6f0b89f2a1f9
Main now new-style theory; added Main.ML for compatibility;
wenzelm
parents:
diff
changeset
|
3 |
struct |
|
6f0b89f2a1f9
Main now new-style theory; added Main.ML for compatibility;
wenzelm
parents:
diff
changeset
|
4 |
val thy = the_context (); |
|
6f0b89f2a1f9
Main now new-style theory; added Main.ML for compatibility;
wenzelm
parents:
diff
changeset
|
5 |
end; |