| 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 |
| Tue, 03 Mar 2009 18:31:59 +0100 | wenzelm | moved type bstring from name_space.ML to binding.ML -- it is the primitive concept behind bindings; | changeset | files |
| Tue, 03 Mar 2009 17:42:30 +0100 | wenzelm | added markup for binding; | changeset | files |
| Tue, 03 Mar 2009 15:12:52 +0100 | wenzelm | Binding.str_of; | changeset | files |
| Tue, 03 Mar 2009 15:09:09 +0100 | wenzelm | Binding.str_of; | changeset | files |