| Tue, 12 Jan 2016 11:03:40 +1100 | matichuk | remove unused code | changeset | files |
| Tue, 12 Jan 2016 11:00:55 +1100 | matichuk | remove Eisbach's dependency on HOL | changeset | files |
| Mon, 11 Jan 2016 15:58:18 +1100 | matichuk | match method now makes proper use of context_tactic | changeset | files |
| Mon, 11 Jan 2016 22:14:42 +0000 | paulson | merged | changeset | files |
| Mon, 11 Jan 2016 22:14:15 +0000 | paulson | nonneg_Reals, nonpos_Reals, Cauchy integral formula, etc. | changeset | files |
| Mon, 11 Jan 2016 20:51:13 +0100 | nipkow | added AA_Map; tuned titles | changeset | files |
| Mon, 11 Jan 2016 18:27:27 +0100 | nipkow | tuned | changeset | files |
| Mon, 11 Jan 2016 16:38:39 +0100 | eberlm | Integrated some material from Algebraic_Numbers AFP entry to Polynomials; generalised some polynomial stuff. | changeset | files |