src/Pure/context_position.ML
2007-10-01 wenzelm 2007-10-01 turned into generic context data;
2007-09-30 wenzelm 2007-09-30 added properties_of;
2007-06-13 wenzelm 2007-06-13 Context positions.