| Fri, 11 Oct 2019 19:35:59 +0200 | wenzelm | proper treatment of axm_proof/oracle_proof like a closed proof constant, e.g. relevant for proof reconstruction of List.list.full_exhaustive_list.simps; | changeset | files |
| Fri, 11 Oct 2019 18:26:35 +0200 | wenzelm | clarified oracle_proof; | changeset | files |
| Fri, 11 Oct 2019 16:40:33 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 11 Oct 2019 16:32:52 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 11 Oct 2019 16:28:36 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 11 Oct 2019 15:36:32 +0200 | wenzelm | clarified signature; | changeset | files |