| Wed, 03 Sep 2008 17:47:35 +0200 | wenzelm | simplified specify_const: canonical args, global deps; | changeset | files |
| Wed, 03 Sep 2008 17:47:34 +0200 | wenzelm | declare_const: Name.binding, store/report position; | changeset | files |
| Wed, 03 Sep 2008 17:47:30 +0200 | wenzelm | Sign.declare_const: Name.binding; | changeset | files |
| Wed, 03 Sep 2008 12:11:28 +0200 | nipkow | removed ex/Puzzle | changeset | files |
| Wed, 03 Sep 2008 11:44:52 +0200 | wenzelm | added qualified: string -> binding -> binding; | changeset | files |
| Wed, 03 Sep 2008 11:44:48 +0200 | wenzelm | Name.qualified; | changeset | files |