| 2017-06-16 | wenzelm | tuned; | changeset | files |
| 2017-06-16 | wenzelm | clarified modules; | changeset | files |
| 2017-06-16 | wenzelm | tuned signature; | changeset | files |
| 2017-06-16 | wenzelm | support for separate proof state output; | changeset | files |
| 2017-06-16 | wenzelm | automatic reformatting; | changeset | files |
| 2017-06-16 | wenzelm | more general dispatcher operations; | changeset | files |
| 2017-06-14 | wenzelm | tuned; | changeset | files |
| 2017-06-14 | wenzelm | clarified modules; | changeset | files |
| 2017-06-14 | wenzelm | tuned; | changeset | files |
| 2017-06-14 | wenzelm | tuned; | changeset | files |
| 2017-06-15 | paulson | Some new material. SIMPRULE STATUS for sum/prod.delta rules! | changeset | files |
| 2017-06-15 | nipkow | tuned | changeset | files |
| Loading... | |||