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 |