changeset 6118 | caa439435666 |
parent 5011 | 37c253fd3dc6 |
child 6183 | ca3ff2fee318 |
6117:f9aad8ccd590 | 6118:caa439435666 |
---|---|
1 (* Title: Pure/Thy/path.ML |
1 (* Title: Pure/General/path.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Markus Wenzel, TU Muenchen |
3 Author: Markus Wenzel, TU Muenchen |
4 |
4 |
5 Abstract algebra of file paths. External representation Unix-style. |
5 Abstract algebra of file paths. External representation Unix-style. |
6 *) |
6 *) |