changeset 33823 | 24090eae50b6 |
parent 33817 | f6a4da31f2f1 |
child 36610 | bafd82950e24 |
33822:e332b08bf0f3 | 33823:24090eae50b6 |
---|---|
1 (* Title: find_theorems.ML |
1 (* Title: Tools/WWW_Find/find_theorems.ML |
2 Author: Timothy Bourke, NICTA |
2 Author: Timothy Bourke, NICTA |
3 |
3 |
4 Simple find_theorems server |
4 Simple find_theorems server. |
5 *) |
5 *) |
6 |
6 |
7 local |
7 local |
8 val default_limit = 20; |
8 val default_limit = 20; |
9 val thy_names = sort string_ord (ThyInfo.get_names ()); |
9 val thy_names = sort string_ord (ThyInfo.get_names ()); |