| 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
|
| Wed, 27 Apr 2011 21:17:47 +0200 |
krauss |
inlined Function_Lib.replace_frees, which is used only once
|
file |
diff |
annotate
|
| Wed, 27 Apr 2011 21:50:04 +0200 |
wenzelm |
clarified Variable.focus vs. Variable.focus_cterm -- eliminated clone;
|
file |
diff |
annotate
|
| Wed, 27 Apr 2011 10:49:39 +0200 |
wenzelm |
eliminated obsolete Function_Lib.frees_in_term;
|
file |
diff |
annotate
|
| Mon, 13 Dec 2010 10:15:27 +0100 |
krauss |
eliminated dest_all_all_ctx
|
file |
diff |
annotate
|
| Mon, 13 Dec 2010 10:15:26 +0100 |
krauss |
private term variant of Variable.focus
|
file |
diff |
annotate
|
| Sun, 12 Dec 2010 21:40:59 +0100 |
krauss |
added signature;
|
file |
diff |
annotate
|
| Fri, 26 Nov 2010 22:29:41 +0100 |
wenzelm |
make two copies (!) of Library.UnequalLengths coincide with ListPair.UnequalLengths;
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 23:45:20 +0200 |
krauss |
some cleanup in Function_Lib
|
file |
diff |
annotate
|