| Mon, 11 Jan 2016 21:21:02 +0100 | wenzelm | eliminated old defs; | changeset | files |
| Mon, 11 Jan 2016 21:20:44 +0100 | wenzelm | eliminated old defs; | changeset | files |
| Mon, 11 Jan 2016 21:16:38 +0100 | wenzelm | eliminated old defs; | changeset | files |
| Tue, 12 Jan 2016 16:59:32 +0100 | eberlm | Deleted problematic code equation in Binomial temporarily. | changeset | files |
| Tue, 12 Jan 2016 15:23:54 +0100 | Andreas Lochbihler | add reference | changeset | files |
| Tue, 12 Jan 2016 15:21:34 +0100 | Andreas Lochbihler | merged | changeset | files |
| Tue, 12 Jan 2016 14:14:28 +0100 | Andreas Lochbihler | add BNF instance for Dlist | changeset | files |
| Tue, 12 Jan 2016 13:34:31 +0000 | paulson | crediting LCP in CONTRIBUTORS | changeset | files |
| Tue, 12 Jan 2016 09:28:08 +0100 | traytel | more careful witness' type analysis | changeset | files |
| Tue, 12 Jan 2016 09:28:08 +0100 | traytel | removed outdated example | changeset | files |
| 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 |