| Mon, 19 Aug 2013 20:37:36 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 19 Aug 2013 18:50:45 +0200 | blanchet | MaSh tweaking: shorter names + killed (broken) SNoW | changeset | files |
| Mon, 19 Aug 2013 16:50:25 +0200 | blanchet | handle Bounds as well in MaSh features | changeset | files |
| Mon, 19 Aug 2013 14:47:47 +0200 | blanchet | add subtypes as well as features in MaSh | changeset | files |
| Mon, 19 Aug 2013 14:41:22 +0200 | blanchet | generate patterns for variables as well in MaSh (cf. HOL(y)Hammer) | changeset | files |
| Mon, 19 Aug 2013 14:26:59 +0200 | blanchet | generate deep type patterns in MaSh | changeset | files |
| Mon, 19 Aug 2013 12:05:33 +0200 | blanchet | improved ad hoc success detection in Mirabelle -- if the metis call fails and the structured proof succeeds, remember only the success | changeset | files |