| Tue, 18 Apr 2017 14:19:49 +0200 | wenzelm | actually qualify theory names; | changeset | files |
| Mon, 17 Apr 2017 21:50:56 +0200 | wenzelm | merged | changeset | files |
| Mon, 17 Apr 2017 21:48:53 +0200 | wenzelm | prefer formal name from session context, for proper qualified theory name; | changeset | files |
| Mon, 17 Apr 2017 21:26:23 +0200 | wenzelm | clarified: Map index uses canonical files; | changeset | files |
| Mon, 17 Apr 2017 21:00:38 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 20:54:48 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 20:33:18 +0200 | wenzelm | uniform use of theory base name for presentation; | changeset | files |
| Mon, 17 Apr 2017 20:12:20 +0200 | wenzelm | proper imports_base, notably for thy_deps; | changeset | files |
| Mon, 17 Apr 2017 19:44:13 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 16:13:14 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 17 Apr 2017 15:23:51 +0200 | wenzelm | tuned GUI; | changeset | files |
| Mon, 17 Apr 2017 15:08:49 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 17 Apr 2017 15:08:21 +0200 | wenzelm | more uniform thy_deps (like class_deps), see also c48d536231fe; | changeset | files |
| Mon, 17 Apr 2017 13:14:01 +0200 | wenzelm | special theories are always global; | changeset | files |
| Mon, 17 Apr 2017 12:29:50 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 12:20:45 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 12:11:02 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 16:39:01 +0200 | haftmann | more systematic treatment of polynomial 1 | changeset | files |
| Mon, 17 Apr 2017 07:44:21 +0200 | haftmann | consistent session name | changeset | files |
| Sun, 16 Apr 2017 15:30:03 +0200 | haftmann | more rules concerning of_nat, of_int, numeral | changeset | files |
| Thu, 13 Apr 2017 10:10:12 +0200 | haftmann | for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness | changeset | files |
| Thu, 13 Apr 2017 10:10:09 +0200 | haftmann | early abort on depth limit | changeset | files |
| Thu, 13 Apr 2017 10:10:08 +0200 | haftmann | obsolete | changeset | files |
| Thu, 13 Apr 2017 10:10:06 +0200 | haftmann | tuned | changeset | files |