| Sat, 23 Apr 2005 19:49:16 +0200 | wenzelm | _gt, _gt: syntax instead of consts; | changeset | files |
| Sat, 23 Apr 2005 19:49:08 +0200 | wenzelm | cover CPure.- and CPure._ as well; | changeset | files |
| Sat, 23 Apr 2005 19:49:01 +0200 | wenzelm | content moved to outer_syntax.ML; | changeset | files |
| Sat, 23 Apr 2005 19:48:40 +0200 | wenzelm | content moved to Pure/ROOT.ML; | changeset | files |