| Fri, 19 Jun 2015 21:41:33 +0200 |
wenzelm |
isabelle update_cartouches;
|
changeset |
files
|
| Fri, 19 Jun 2015 21:33:03 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 19 Jun 2015 20:43:34 +0200 |
wenzelm |
removed dead code;
|
changeset |
files
|
| Fri, 19 Jun 2015 20:14:50 +0200 |
wenzelm |
discontinued unused 'defer_recdef';
|
changeset |
files
|
| Fri, 19 Jun 2015 19:45:01 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 19 Jun 2015 19:29:57 +0200 |
wenzelm |
removed dead code;
|
changeset |
files
|
| Fri, 19 Jun 2015 19:13:15 +0200 |
wenzelm |
moved sources;
|
changeset |
files
|
| Fri, 19 Jun 2015 18:41:21 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Fri, 19 Jun 2015 15:02:24 +0200 |
wenzelm |
uniform system_mode for build test: avoid spurious output_dir/log that is not required later;
|
changeset |
files
|
| Fri, 19 Jun 2015 07:53:35 +0200 |
haftmann |
separate class for notions specific for integral (semi)domains, in contrast to fields where these are trivial
|
changeset |
files
|
| Fri, 19 Jun 2015 07:53:33 +0200 |
haftmann |
generalized some theorems about integral domains and moved to HOL theories
|
changeset |
files
|
| Fri, 19 Jun 2015 15:55:22 +0200 |
nipkow |
renamed multiset_of -> mset
|
changeset |
files
|
| Thu, 18 Jun 2015 16:17:51 +0200 |
nipkow |
NEWS
|
changeset |
files
|
| Thu, 18 Jun 2015 16:16:17 +0200 |
nipkow |
multiset_of_set -> mset_set
|
changeset |
files
|