changeset 29606 | fedb8be05f24 |
parent 22319 | 6f162dd72f60 |
child 32476 | b928f2948bf5 |
29605:f2924219125e | 29606:fedb8be05f24 |
---|---|
1 (* Title: Pure/General/alist.ML |
1 (* Title: Pure/General/alist.ML |
2 ID: $Id$ |
|
3 Author: Florian Haftmann, TU Muenchen |
2 Author: Florian Haftmann, TU Muenchen |
4 |
3 |
5 Association lists -- lists of (key, value) pairs. |
4 Association lists -- lists of (key, value) pairs. |
6 *) |
5 *) |
7 |
6 |