Wed, 05 May 2010 18:25:34 +0200 | haftmann | farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =) | file | diff | annotate |
Fri, 20 Nov 2009 16:08:14 +0100 | wenzelm | standardized headers; | file | diff | annotate |
Fri, 20 Nov 2009 18:36:44 +1100 | kleing | WWW_Find component: find_theorems via web browser | file | diff | annotate |