| changeset 46686 | b2ae19322ff8 |
| parent 46621 | 7a8dd77c9f93 |
| child 46712 | 8650d9a95736 |
| 46685:866a798d051c | 46686:b2ae19322ff8 |
|---|---|
1 /* Title: Pure/General/linear_set.scala |
1 /* Title: Pure/General/linear_set.scala |
2 Module: PIDE |
|
2 Author: Makarius |
3 Author: Makarius |
3 Author: Fabian Immler, TU Munich |
4 Author: Fabian Immler, TU Munich |
4 |
5 |
5 Sets with canonical linear order, or immutable linked-lists. |
6 Sets with canonical linear order, or immutable linked-lists. |
6 */ |
7 */ |