| Tue, 12 Nov 2013 14:24:34 +0100 | blanchet | ported part of function package to new 'Ctr_Sugar' abstraction | file | diff | annotate |
| Tue, 12 Nov 2013 14:00:56 +0100 | blanchet | undid copy-paste | file | diff | annotate |
| Sun, 16 Oct 2011 18:48:30 +0200 | wenzelm | added Term.dummy_pattern conveniences; | file | diff | annotate |