Fri, 21 Mar 2014 20:33:56 +0100 | wenzelm | more qualified names; | file | diff | annotate |
Tue, 31 Dec 2013 14:29:16 +0100 | wenzelm | proper context for norm_hhf and derived operations; | file | diff | annotate |
Sat, 14 Dec 2013 17:28:05 +0100 | wenzelm | proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; | file | diff | annotate |
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 |
Wed, 27 Apr 2011 23:04:28 +0200 | wenzelm | merged | file | diff | annotate |