changeset 33823 | 24090eae50b6 |
parent 33817 | f6a4da31f2f1 |
child 36610 | bafd82950e24 |
--- a/src/Tools/WWW_Find/find_theorems.ML Fri Nov 20 15:48:36 2009 +0100 +++ b/src/Tools/WWW_Find/find_theorems.ML Fri Nov 20 16:08:14 2009 +0100 @@ -1,7 +1,7 @@ -(* Title: find_theorems.ML +(* Title: Tools/WWW_Find/find_theorems.ML Author: Timothy Bourke, NICTA - Simple find_theorems server +Simple find_theorems server. *) local