| Sun, 29 Mar 2015 20:40:49 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 29 Mar 2015 19:32:27 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 29 Mar 2015 19:24:07 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 29 Mar 2015 19:23:08 +0200 | wenzelm | proper local Proof_Context.arity_sorts; | changeset | files |
| Sun, 29 Mar 2015 18:32:28 +0200 | wenzelm | more standard Sign.typ_match: sorts should be alright in result of Syntax.check_terms; | changeset | files |
| Sun, 29 Mar 2015 18:18:52 +0200 | wenzelm | avoid low-level tsig operations; | changeset | files |
| Sun, 29 Mar 2015 17:54:22 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 29 Mar 2015 17:43:03 +0200 | wenzelm | clarified context; | changeset | files |