| Mon, 08 Nov 2021 20:26:16 +0100 |
wenzelm |
explicit option metric_argo_timeout, with reasonable default for Raspberry Pi;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2021 20:39:16 +0200 |
wenzelm |
more robust subgoal addressing;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2021 20:15:59 +0200 |
wenzelm |
proper subgoal addressing;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2021 20:04:33 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2021 19:49:11 +0200 |
wenzelm |
recursive find_eq, not find_dist;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2021 19:43:32 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Tue, 19 Oct 2021 15:20:31 +0200 |
wenzelm |
proper tactic combinator;
|
file |
diff |
annotate
|
| Tue, 19 Oct 2021 15:03:00 +0200 |
wenzelm |
proper file headers;
|
file |
diff |
annotate
|
| Tue, 19 Oct 2021 14:58:22 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|
| Fri, 15 Oct 2021 19:25:31 +0200 |
wenzelm |
discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily;
|
file |
diff |
annotate
|
| Thu, 14 Oct 2021 16:03:20 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 17:20:41 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 14:50:26 +0200 |
wenzelm |
clarified set of items with order of addition;
|
file |
diff |
annotate
|
| Mon, 06 Sep 2021 14:05:22 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Sep 2021 21:09:31 +0200 |
wenzelm |
more scalable operations;
|
file |
diff |
annotate
|
| Mon, 28 Oct 2019 19:52:57 +0100 |
wenzelm |
proper file name: .ML is mandatory for Isabelle/ML files;
|
file |
diff |
annotate
| base
|