changeset 3549 | e8c8d76810a6 |
parent 3548 | 108d09eb3454 |
child 3560 | 7db9a44dfa06 |
3548:108d09eb3454 | 3549:e8c8d76810a6 |
---|---|
1 (* Title: net |
1 (* Title: Pure/net.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1993 University of Cambridge |
4 Copyright 1993 University of Cambridge |
5 |
5 |
6 Discrimination nets: a data structure for indexing items |
6 Discrimination nets: a data structure for indexing items |