| Fri, 09 Oct 2015 20:26:03 +0200 |
wenzelm |
discontinued specific HTML syntax;
|
file |
diff |
annotate
|
| Mon, 21 Sep 2015 21:46:14 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Mon, 21 Sep 2015 11:31:56 +0200 |
nipkow |
Added new simplifier predicate ASSUMPTION
|
file |
diff |
annotate
|
| Sun, 13 Sep 2015 22:56:52 +0200 |
wenzelm |
tuned proofs -- less legacy;
|
file |
diff |
annotate
|
| Wed, 09 Sep 2015 20:57:21 +0200 |
wenzelm |
simplified simproc programming interfaces;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2015 22:32:58 +0200 |
wenzelm |
eliminated \<Colon>;
|
file |
diff |
annotate
|
| Sat, 25 Jul 2015 23:41:53 +0200 |
wenzelm |
updated to infer_instantiate;
|
file |
diff |
annotate
|
| Mon, 20 Jul 2015 11:40:43 +0200 |
wenzelm |
proper LaTeX;
|
file |
diff |
annotate
|
| Sun, 19 Jul 2015 00:03:10 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Sat, 18 Jul 2015 22:58:50 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sat, 09 May 2015 12:19:24 +0200 |
nipkow |
undid 6d7b7a037e8d because it does not help but slows simplification down by up to 5% (AODV)
|
file |
diff |
annotate
|
| Sun, 03 May 2015 15:38:25 +0200 |
nipkow |
swap False to the right in assumptions to be eliminated at the right end
|
file |
diff |
annotate
|
| Tue, 28 Apr 2015 19:09:28 +0200 |
nipkow |
undid 6d7b7a037e8d
|
file |
diff |
annotate
|
| Sat, 25 Apr 2015 17:38:22 +0200 |
nipkow |
new ==> simp rule
|
file |
diff |
annotate
|
| Wed, 22 Apr 2015 12:11:48 +0200 |
nipkow |
added simp rules for ==>
|
file |
diff |
annotate
|