 ulfn
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 years ago |
 james
|
d25121eee9
declare-before-use mutual definitions (AIM XIV)
|
13 years ago |
 Nils Anders Danielsson
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 years ago |
 ulfn
|
28dd567351
removed special lexing rules for : (x:A is now a valid name)
|
17 years ago |
|
ulfn
|
2d44fa877a
syntax change: using/hiding lists are separated by ;
|
18 years ago |
|
ulfn
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
18 years ago |
|
ulfn
|
ea4930ab12
ac rewriting (internal) tactic
|
18 years ago |
