| 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 |