]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/lib/lambda/etc/cons_r.etc
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
minor additions to standard library
[helm.git] / matita / matita / lib / lambda / etc / cons_r.etc
1 notation "hvbox(l тин break a)"
2   left associative with precedence 47
3   for @{'cons_r $l $a}.
4
5 interpretation "" 'nil = (Atom).
6
7 interpretation "" 'cons_r tl hd = (tl hd).
Unnamed repository; edit this file 'description' to name the repository.