| Sun, 15 Jan 2012 14:22:54 +0100 |
wenzelm |
comments;
|
changeset |
files
|
| Sun, 15 Jan 2012 14:17:42 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Sun, 15 Jan 2012 14:00:07 +0100 |
wenzelm |
eliminated dead code, together with spurious warning about congruence rule for "Fun.comp";
|
changeset |
files
|
| Sun, 15 Jan 2012 13:55:01 +0100 |
wenzelm |
more explicit/robust treatment of common snapshot;
|
changeset |
files
|
| Sat, 14 Jan 2012 21:16:15 +0100 |
wenzelm |
discontinued old-style Term.list_abs in favour of plain Term.abs;
|
changeset |
files
|
| Sat, 14 Jan 2012 20:05:58 +0100 |
wenzelm |
renamed Term.list_all to Logic.list_all, in accordance to HOLogic.list_all;
|
changeset |
files
|
| Sat, 14 Jan 2012 19:06:05 +0100 |
wenzelm |
renamed Term.all to Logic.all_const, in accordance to HOLogic.all_const;
|
changeset |
files
|
| Sat, 14 Jan 2012 18:18:06 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 14 Jan 2012 17:45:04 +0100 |
wenzelm |
discontinued old-style Term.list_all_free in favour of plain Logic.all;
|
changeset |
files
|
| Sat, 14 Jan 2012 16:58:29 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 14 Jan 2012 16:25:54 +0100 |
wenzelm |
discontinued default rendering for Oheimb's double-space;
|
changeset |
files
|
| Sat, 14 Jan 2012 16:14:22 +0100 |
wenzelm |
tuned white space;
|
changeset |
files
|
| Sat, 14 Jan 2012 16:12:09 +0100 |
wenzelm |
tuned comment;
|
changeset |
files
|
| Sat, 14 Jan 2012 15:44:44 +0100 |
wenzelm |
paranoia null check -- prevent spurious crash of jedit token markup;
|
changeset |
files
|