src/Pure/context_position.ML
2007-06-13 ago Context positions.