| Mon, 01 Oct 2012 20:17:30 +0200 | wenzelm | more direct message header: eliminated historic encoding via single letter; | changeset | files |
| Mon, 01 Oct 2012 20:16:37 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 01 Oct 2012 17:29:00 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 01 Oct 2012 16:37:22 +0200 | wenzelm | report sort assignment of visible type variables; | changeset | files |
| Mon, 01 Oct 2012 12:05:05 +0200 | wenzelm | more robust File.eq, and thus File.copy of "~~/lib/logo/isabelle.gif"; | changeset | files |
| Mon, 01 Oct 2012 11:04:30 +0200 | blanchet | fixed recursor definition for datatypes with inner products (e.g. "'a trm" from the lambda-term example) | changeset | files |