Add Praspel representation for \old(…).
[auto] Merge from Praspel

    • #443060f — Add Praspel representation for \old(…). (Ivan Enderlin, 2013-09-17)

---

Merge remote branch 'library-praspel/master'