| 2012-05-06 | wenzelm | 2012-05-06 | tuned proofs; | file | diff | annotate |
| 2012-04-03 | wenzelm | 2012-04-03 | close context elements via Expression.cert/read_declaration; ensure visible context; | file | diff | annotate |
| 2012-04-03 | wenzelm | 2012-04-03 | some context examples; | file | diff | annotate |