| 2000-07-30 | wenzelm | added is_judgment; | file | diff | annotate |
| 2000-07-13 | wenzelm | export thesisN separately; | file | diff | annotate |
| 2000-05-05 | wenzelm | GPLed; | file | diff | annotate |
| 2000-03-30 | wenzelm | ?this: support params; | file | diff | annotate |
| 2000-02-10 | wenzelm | add_judgment; | file | diff | annotate |
| 1999-10-01 | wenzelm | added atomic_thesis; | file | diff | annotate |
| 1999-09-25 | wenzelm | admit unbinding; | file | diff | annotate |
| 1999-09-04 | wenzelm | removed Syntax.binding; | file | diff | annotate |
| 1999-09-03 | wenzelm | "this"; | file | diff | annotate |
| 1999-08-24 | wenzelm | ??thesis: include params; | file | diff | annotate |
| 1999-07-19 | wenzelm | facts: no statement_binds; | file | diff | annotate |
| 1999-06-07 | wenzelm | facts: bind named props (from proof.ML/let_thms); | file | diff | annotate |
| 1999-06-05 | wenzelm | renamed object_logic.ML to Isar/auto_bind.ML and tuned this module; | file | diff | annotate |