Mon, 07 Jun 1999 22:16:56 +0200 | wenzelm | facts: bind named props (from proof.ML/let_thms); | file | diff | annotate |
Sat, 05 Jun 1999 20:27:53 +0200 | wenzelm | renamed object_logic.ML to Isar/auto_bind.ML and tuned this module; | file | diff | annotate |