| author | Manuel Eberl <eberlm@in.tum.de> |
| Tue, 19 Jan 2016 11:19:25 +0100 | |
| changeset 62201 | eca7b38c8ee5 |
| parent 61925 | ab52f183f020 |
| permissions | -rw-r--r-- |
| 61925 | 1 |
(* Title: Pure/RAW/share_common_data_polyml-5.3.0.ML |
|
52711
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
2 |
|
|
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
3 |
Dummy for Poly/ML 5.3.0, which cannot share the massive heap of HOL |
|
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
4 |
anymore. |
|
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
5 |
*) |
|
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
6 |
|
|
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
7 |
structure PolyML = |
|
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
8 |
struct |
|
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
9 |
open PolyML; |
|
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
10 |
fun shareCommonData _ = (); |
|
155f02cacb2d
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
wenzelm
parents:
diff
changeset
|
11 |
end; |