| Mon, 05 Sep 2016 15:47:50 +0200 |
fleury |
tuning multisets; more interpretations
|
file |
diff |
annotate
|
| Mon, 05 Sep 2016 15:47:50 +0200 |
fleury |
clean argument of simp add
|
file |
diff |
annotate
|
| Mon, 05 Sep 2016 15:47:50 +0200 |
fleury |
add_mset constructor in multisets
|
file |
diff |
annotate
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
tuning whitespace in output syntax
|
file |
diff |
annotate
|
| Mon, 08 Aug 2016 14:01:49 +0200 |
Bertram Felgenhauer |
add monotonicity propertyies of `mult1` and `mult`
|
file |
diff |
annotate
|
| Fri, 29 Jul 2016 08:22:59 +0200 |
fleury |
more instantiations for multiset
|
file |
diff |
annotate
|
| Mon, 25 Jul 2016 11:30:31 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 22 Jul 2016 11:00:43 +0200 |
wenzelm |
tuned proofs -- avoid unstructured calculation;
|
file |
diff |
annotate
|
| Fri, 22 Jul 2016 08:02:37 +0200 |
wenzelm |
tuned proofs -- avoid improper use of "this";
|
file |
diff |
annotate
|
| Thu, 21 Jul 2016 10:06:04 +0200 |
eberlm |
Overhaul of prime/multiplicity/prime_factors
|
file |
diff |
annotate
|
| Wed, 20 Jul 2016 13:51:38 +0200 |
fleury |
adding mset_map to the simp rules
|
file |
diff |
annotate
|
| Thu, 07 Jul 2016 17:34:39 +0200 |
fleury |
more instantiations for multiset
|
file |
diff |
annotate
|
| Thu, 07 Jul 2016 09:24:03 +0200 |
blanchet |
moved lemmas and locales around (with minor incompatibilities)
|
file |
diff |
annotate
|
| Tue, 05 Jul 2016 13:05:04 +0200 |
fleury |
instantiate multiset with multiset ordering
|
file |
diff |
annotate
|
| Fri, 01 Jul 2016 10:56:54 +0200 |
Manuel Eberl |
Tuned multiset lattice
|
file |
diff |
annotate
|