| Tue, 10 Mar 2015 09:49:17 +0100 | blanchet | split into subgoals | changeset | files |
| Tue, 10 Mar 2015 09:49:16 +0100 | blanchet | tuning | changeset | files |
| Mon, 09 Mar 2015 21:30:42 +0100 | wenzelm | merged | changeset | files |
| Mon, 09 Mar 2015 20:33:33 +0100 | wenzelm | support structural composition (THEN_ALL_NEW) for proof methods; | changeset | files |
| Mon, 09 Mar 2015 16:42:18 +0000 | paulson | Removed the infix operator "choose" to allow HOLCF to build | changeset | files |
| Mon, 09 Mar 2015 16:28:19 +0000 | paulson | sin, cos generalised from type real to any "'a::{real_normed_field,banach}", including complex | changeset | files |
| Mon, 09 Mar 2015 11:32:32 +0100 | wenzelm | eliminated unused arith "verbose" flag -- tools that need options can use the context; | changeset | files |