Sat, 22 Oct 2016 12:34:58 +0200 |
wenzelm |
regular user tool;
|
file |
diff |
annotate
|
Thu, 20 Oct 2016 19:39:27 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 16:04:44 +0200 |
nipkow |
NEWS
|
file |
diff |
annotate
|
Wed, 19 Oct 2016 14:43:11 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
Wed, 19 Oct 2016 14:42:28 +0200 |
wenzelm |
added system option "profiling";
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 18:48:53 +0200 |
haftmann |
suitable logical type class for abs, sgn
|
file |
diff |
annotate
|
Mon, 17 Oct 2016 19:55:56 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Mon, 17 Oct 2016 15:00:46 +0200 |
wenzelm |
re-use "threads" for --gcthreads;
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 22:43:51 +0200 |
wenzelm |
isabelle build -N;
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 09:31:06 +0200 |
haftmann |
eliminated irregular aliasses
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 09:31:05 +0200 |
haftmann |
clarified theorem names
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 09:31:05 +0200 |
haftmann |
eliminated irregular aliasses
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 09:31:05 +0200 |
haftmann |
more standardized theorem names for facts involving the div and mod identity
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 09:31:04 +0200 |
haftmann |
more standardized names
|
file |
diff |
annotate
|
Mon, 10 Oct 2016 15:45:41 +0100 |
paulson |
invariance of domain
|
file |
diff |
annotate
|