changeset 31582 | 4753c317d5c1 |
parent 28284 | 2161665a0a5d |
child 32449 | 696d64ed85da |
31581:907616b9536c | 31582:4753c317d5c1 |
---|---|
1 (* Title: Admin/isatest/annomaly.ML |
1 (* Title: Admin/isatest/annomaly.ML |
2 ID: $Id$ |
|
3 Author: Martin von Gagern <martin@von-gagern.net> |
2 Author: Martin von Gagern <martin@von-gagern.net> |
4 *) |
3 *) |
5 |
4 |
6 use "ML-Systems/smlnj.ML"; |
5 use "ML-Systems/smlnj.ML"; |
7 |
6 |