Sun, 26 Jul 2015 17:24:54 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
Sun, 26 Jul 2015 12:24:16 +0200 | wenzelm | added infer_instantiate'; | changeset | files |
Sun, 26 Jul 2015 11:08:57 +0200 | wenzelm | more uniform exceptions, like cterm_instantiate; | changeset | files |