1 (* Title: Pure/Thy/position.ML
1 (* Title: Pure/General/position.ML
2 ID: $Id$
3 Author: Markus Wenzel, TU Muenchen
4
5 Input positions.
6 *)