| Mon, 27 Jul 2015 14:56:06 +0200 | wenzelm | eliminated cterm_instantiate; | changeset | files |
| Mon, 27 Jul 2015 14:55:26 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Mon, 27 Jul 2015 11:30:10 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 27 Jul 2015 00:17:18 +0200 | wenzelm | added infer_instantiate_vars, which allows inconsistent types for variables, as required for Metis proof reconstruction; | changeset | files |
| Sun, 26 Jul 2015 22:26:11 +0200 | wenzelm | eliminated atac, rtac, etac, dtac, ftac; | changeset | files |
| Sun, 26 Jul 2015 22:19:14 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 22:07:37 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 21:50:44 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 21:48:00 +0200 | wenzelm | proper context; | changeset | files |
| Sun, 26 Jul 2015 20:57:35 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 20:56:44 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sun, 26 Jul 2015 20:54:02 +0200 | wenzelm | ignore non-existant variables, like other instantiate rules; | changeset | files |
| Sun, 26 Jul 2015 17:32:59 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| 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 |
| Sat, 25 Jul 2015 23:41:53 +0200 | wenzelm | updated to infer_instantiate; | changeset | files |
| Sat, 25 Jul 2015 23:15:37 +0200 | wenzelm | more accurate maxidx; | changeset | files |
| Sat, 25 Jul 2015 21:54:09 +0200 | wenzelm | clarified error; | changeset | files |
| Sat, 25 Jul 2015 21:37:09 +0200 | wenzelm | added infer_instantiate, which is meant to supersede cterm_instantiate; | changeset | files |
| Fri, 24 Jul 2015 22:29:06 +0200 | wenzelm | eliminated alias; | changeset | files |
| Fri, 24 Jul 2015 22:20:22 +0200 | wenzelm | proper context; | changeset | files |
| Fri, 24 Jul 2015 22:19:36 +0200 | wenzelm | unused; | changeset | files |
| Fri, 24 Jul 2015 22:16:39 +0200 | wenzelm | proper context; | changeset | files |
| Thu, 23 Jul 2015 22:13:42 +0200 | wenzelm | more symbols by default, without xsymbols mode; | changeset | files |
| Thu, 23 Jul 2015 16:40:47 +0200 | hoelzl | Measures form a CCPO | changeset | files |
| Thu, 23 Jul 2015 16:39:10 +0200 | hoelzl | reorganized Extended_Real | changeset | files |
| Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Thu, 23 Jul 2015 14:20:51 +0200 | wenzelm | tuned proofs; | changeset | files |
| Thu, 23 Jul 2015 13:28:34 +0200 | wenzelm | proper latex; | changeset | files |