| Thu, 22 Mar 2012 10:10:02 +0100 | berghofe | No longer treat "title" as FDL keyword | changeset | files |
| Thu, 22 Mar 2012 16:44:19 +0100 | wenzelm | tuned proofs; | changeset | files |
| Thu, 22 Mar 2012 15:41:49 +0100 | wenzelm | uniform Generic_Target.standard_declaration, which uses the standard morphism for each context (NB: targets like "interpretation" appear like "theory" but declare local type parameters); | changeset | files |