changeset 1476 | 608483c2122a |
parent 968 | 3cdaa8724175 |
child 3192 | a75558a4ed37 |
1475:7f5a4cd08209 | 1476:608483c2122a |
---|---|
1 (* Title: Substitutions/alist.thy |
1 (* Title: Substitutions/alist.thy |
2 Author: Martin Coen, Cambridge University Computer Laboratory |
2 Author: Martin Coen, Cambridge University Computer Laboratory |
3 Copyright 1993 University of Cambridge |
3 Copyright 1993 University of Cambridge |
4 |
4 |
5 Association lists. |
5 Association lists. |
6 *) |
6 *) |
7 |
7 |