changeset 29606 | fedb8be05f24 |
parent 26881 | bb68f50644a9 |
child 33037 | b22e44496dc2 |
29605:f2924219125e | 29606:fedb8be05f24 |
---|---|
1 (* Title: Pure/General/path.ML |
1 (* Title: Pure/General/path.ML |
2 ID: $Id$ |
|
3 Author: Markus Wenzel, TU Muenchen |
2 Author: Markus Wenzel, TU Muenchen |
4 |
3 |
5 Abstract algebra of file paths (external encoding in Unix style). |
4 Abstract algebra of file paths (external encoding in Unix style). |
6 *) |
5 *) |
7 |
6 |