src/Pure/General/path.ML
1999-02-03 wenzelm 1999-02-03 enabled sig;
1999-02-03 wenzelm 1999-02-03 more abstract implementation;
1999-01-13 wenzelm 1999-01-13 fixed titles;
1998-06-10 wenzelm 1998-06-10 moved Thy/path.ML to General/path.ML;