| Tue, 03 Mar 2009 19:21:10 +0100 | haftmann | merged | changeset | files |
| Tue, 03 Mar 2009 13:20:53 +0100 | haftmann | tuned manuals | changeset | files |
| Tue, 03 Mar 2009 11:00:51 +0100 | haftmann | more canonical directory structure of manuals | changeset | files |
| 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 |