changeset 29606 | fedb8be05f24 |
parent 23178 | 07ba6b58b3d2 |
child 33371 | d74dc1b54930 |
29605:f2924219125e | 29606:fedb8be05f24 |
---|---|
1 (* Title: Pure/net.ML |
1 (* Title: Pure/net.ML |
2 ID: $Id$ |
|
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1993 University of Cambridge |
3 Copyright 1993 University of Cambridge |
5 |
4 |
6 Discrimination nets: a data structure for indexing items |
5 Discrimination nets: a data structure for indexing items |
7 |
6 |