| Fri, 25 May 2018 22:48:37 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 25 May 2018 22:47:57 +0200 |
wenzelm |
added command 'ML_export';
|
changeset |
files
|
| Fri, 25 May 2018 22:47:36 +0200 |
wenzelm |
more examples;
|
changeset |
files
|
| Fri, 25 May 2018 21:02:40 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Fri, 25 May 2018 21:01:51 +0200 |
wenzelm |
pretty-print according to defaults of input syntax;
|
changeset |
files
|
| Fri, 25 May 2018 21:00:47 +0200 |
wenzelm |
more accurate diagram;
|
changeset |
files
|
| Fri, 25 May 2018 13:47:58 +0200 |
wenzelm |
proper output;
|
changeset |
files
|
| Thu, 24 May 2018 09:26:26 +0000 |
haftmann |
treat gcd_eq_1_imp_coprime analogously to mod_0_imp_dvd
|
changeset |
files
|
| Thu, 24 May 2018 22:28:26 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 24 May 2018 22:17:23 +0200 |
wenzelm |
setup server directory for Cygwin quasi-mirror;
|
changeset |
files
|
| Thu, 24 May 2018 21:36:39 +0200 |
wenzelm |
more scalable JVM memory management;
|
changeset |
files
|
| Thu, 24 May 2018 21:21:26 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Thu, 24 May 2018 21:13:09 +0200 |
wenzelm |
more general cache, also for term substructures;
|
changeset |
files
|
| Thu, 24 May 2018 16:56:14 +0200 |
wenzelm |
more exports;
|
changeset |
files
|
| Thu, 24 May 2018 17:06:39 +0200 |
immler |
generalized Cramer's rule
|
changeset |
files
|
| Thu, 24 May 2018 16:38:24 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Thu, 24 May 2018 14:42:47 +0200 |
nipkow |
reorganization, everything based on Tree2 now
|
changeset |
files
|
| Thu, 24 May 2018 09:18:29 +0200 |
haftmann |
avoid overaggressive classical rule
|
changeset |
files
|
| Thu, 24 May 2018 07:59:41 +0200 |
nipkow |
By Andrei Popescu based on an initial version by Kasper F. Brandt
|
changeset |
files
|
| Wed, 23 May 2018 21:34:08 +0100 |
paulson |
merged
|
changeset |
files
|
| Wed, 23 May 2018 21:31:41 +0100 |
paulson |
small tidy-up of Complex_Transcendental
|
changeset |
files
|
| Tue, 22 May 2018 19:58:17 +0100 |
paulson |
merged
|
changeset |
files
|
| Mon, 21 May 2018 22:52:16 +0100 |
paulson |
small clean-up of Complex_Analysis_Basics
|
changeset |
files
|
| Wed, 23 May 2018 09:37:14 +0000 |
haftmann |
more complete and more correct documentation on code generation
|
changeset |
files
|
| Wed, 23 May 2018 07:13:11 +0000 |
haftmann |
grouped material on numeral division
|
changeset |
files
|
| Tue, 22 May 2018 18:14:29 +0000 |
haftmann |
automatic classical rule to derive a dvd b from b mod a = 0
|
changeset |
files
|
| Tue, 22 May 2018 18:14:29 +0000 |
haftmann |
consider dvdE for automated classical proving
|
changeset |
files
|
| Tue, 22 May 2018 17:15:02 +0200 |
blanchet |
added lambda-free HO output for Ehoh (higher-order E prototype)
|
changeset |
files
|
| Tue, 22 May 2018 11:08:37 +0200 |
nipkow |
First step to remove nonstandard "[x <- xs. P]" syntax: only input
|
changeset |
files
|
| Tue, 22 May 2018 14:12:15 +0200 |
nipkow |
merged
|
changeset |
files
|