Thu, 27 Mar 2008 14:41:09 +0100 | wenzelm | eliminated theory ProtoPure; | file | diff | annotate |
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 |