| Tue, 02 Aug 2016 18:45:34 +0200 | wenzelm | tuned signature -- prover-independence is presently theoretical; | changeset | files |
| Tue, 02 Aug 2016 18:44:37 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Aug 2016 18:13:24 +0200 | wenzelm | avoid confusion with 'case' and "cases"; | changeset | files |
| Tue, 02 Aug 2016 18:11:17 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Aug 2016 17:39:38 +0200 | wenzelm | clarified: 'imports' is de-facto mandatory; | changeset | files |
| Tue, 02 Aug 2016 17:35:18 +0200 | wenzelm | support 'abbrevs' within theory header; | changeset | files |
| Tue, 02 Aug 2016 11:49:30 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Aug 2016 13:13:15 +0200 | immler | more natural definition of type finmap | changeset | files |