| Sat, 04 Jun 2016 16:23:42 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 04 Jun 2016 16:10:44 +0200 | wenzelm | Integer.lcm normalizes the sign as in HOL/GCD.thy; | changeset | files |
| Fri, 03 Jun 2016 22:27:01 +0200 | wenzelm | support for .scala tools; | changeset | files |
| Thu, 02 Jun 2016 17:47:47 +0200 | hoelzl | move ennreal and ereal theorems from MFMC_Countable | changeset | files |
| Fri, 03 Jun 2016 14:11:11 +0200 | wenzelm | more flexible build_selection; | changeset | files |
| Thu, 02 Jun 2016 17:05:40 +0200 | wenzelm | clarified aliases (no warning for duplicates); | changeset | files |