| Sun, 18 Mar 2012 13:04:22 +0100 | wenzelm | maintain generic context naming in structure Name_Space (NB: empty = default_naming, init = local_naming); | changeset | files |
| Sun, 18 Mar 2012 12:51:44 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 18 Mar 2012 10:28:31 +0100 | wenzelm | tuned structure; | changeset | files |
| Sun, 18 Mar 2012 08:57:45 +0100 | haftmann | comments for uniformity | changeset | files |
| Sat, 17 Mar 2012 23:55:03 +0100 | wenzelm | proper naming of simprocs according to actual target context; | changeset | files |
| Sat, 17 Mar 2012 23:50:47 +0100 | wenzelm | amended locale_declaration: avoid duplication of Local_Theory.target with global_morphism (cf. 57def0b39696) -- Haftmann-Wenzel Sandwich has 3 layers, not 4; | changeset | files |