about summary refs log tree commit diff
path: root/src/normalise.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-08-14T09·29+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-08-14T09·29+0000
commit0a2de7f543ac23b8576a232c0ecf6a5f49c1884a (patch)
treeadf3e80a168ec5305d58e45954811616b8adb892 /src/normalise.hh
parent95b49f804456cf532e61478d7f604aed381173d7 (diff)
* Lam -> Function. Doh!
Diffstat (limited to 'src/normalise.hh')
0 files changed, 0 insertions, 0 deletions