Tue, 03 Mar 2009 18:33:21 +0100 | wenzelm | merged | changeset | files |
Tue, 03 Mar 2009 17:05:18 +0100 | nipkow | removed and renamed redundant lemmas | changeset | files |
Tue, 03 Mar 2009 18:32:01 +0100 | wenzelm | renamed Binding.name_pos to Binding.make, renamed Binding.base_name to Binding.name_of, renamed Binding.map_base to Binding.map_name, added mandatory flag to Binding.qualify; | changeset | files |