| Sat, 27 Oct 2007 18:37:06 +0200 | obua | adapted Compute... | file | diff | annotate |
| Mon, 09 Jul 2007 22:37:48 +0200 | wenzelm | removed legacy ML file; | file | diff | annotate |
| Mon, 09 Jul 2007 17:38:40 +0200 | obua | added computing oracle support for HOL and numerals | file | diff | annotate |