| Wed, 27 Apr 2011 14:11:37 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 27 Apr 2011 13:21:12 +0200 | wenzelm | predefined LaTeX macros for \<bind> and \<then>; | changeset | files |
| Wed, 27 Apr 2011 10:49:39 +0200 | wenzelm | eliminated obsolete Function_Lib.frees_in_term; | changeset | files |
| Wed, 27 Apr 2011 10:31:18 +0200 | wenzelm | more uniform Variable.add_frees/add_fixed etc.; | changeset | files |
| Tue, 26 Apr 2011 22:22:39 +0200 | wenzelm | structure Cla as defined in FOL; | changeset | files |
| Tue, 26 Apr 2011 22:18:07 +0200 | wenzelm | proper antiquotations; | changeset | files |
| Tue, 26 Apr 2011 21:55:11 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 26 Apr 2011 21:49:39 +0200 | wenzelm | modernized Clasimp setup; | changeset | files |