2015-11-16 | Andreas Lochbihler | export internal definition | changeset | files |
2015-11-16 | nipkow | corrected inefficient implementation | changeset | files |
2015-11-16 | blanchet | more tracing in MaSh | changeset | files |
2015-11-16 | nipkow | tuned names | changeset | files |
2015-11-16 | nipkow | NEWS | changeset | files |
2015-11-15 | haftmann | formally correct context for export | changeset | files |
2015-11-15 | wenzelm | merged | changeset | files |
2015-11-15 | wenzelm | merged | changeset | files |
2015-11-15 | wenzelm | option "inductive_defs" controls exposure of def and mono facts; | changeset | files |
2015-11-14 | wenzelm | tuned message; | changeset | files |
2015-11-15 | nipkow | added pretty syntax | changeset | files |
2015-11-15 | nipkow | tuned white space | changeset | files |
Loading... |