literature/flask.pdf
author chunhan
Wed, 20 Nov 2013 13:43:09 +0800
changeset 68 742bed613245
parent 0 34d01e9a772e
permissions -rwxr-xr-x
simplifing model, by changing sectxt_of_obj s' (O_proc p) of None \<Rightarrow> False

(binary:application/pdf)