2010-10-25 | krauss | some partial_function examples | changeset | files |
2010-10-25 | wenzelm | added ML antiquotation @{assert}; | changeset | files |
2010-10-25 | wenzelm | updated keywords; | changeset | files |
2010-10-23 | krauss | integrated partial_function into HOL-Plain | changeset | files |
2010-10-23 | krauss | first version of partial_function package | changeset | files |
2010-10-23 | krauss | Complete_Partial_Order.thy: complete partial orders over arbitrary chains, with fixpoint theorem | changeset | files |
2010-10-25 | bulwahn | merged | changeset | files |
Loading... |