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