2010-10-25 krauss some partial_function examples
2010-10-25 wenzelm added ML antiquotation @{assert};
2010-10-25 wenzelm updated keywords;
2010-10-23 krauss integrated partial_function into HOL-Plain
2010-10-23 krauss first version of partial_function package
2010-10-23 krauss Complete_Partial_Order.thy: complete partial orders over arbitrary chains, with fixpoint theorem
2010-10-25 bulwahn merged
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip