gds 12.12.2012 10:44 umodni94AFA548

Coq quick reference: https://wiki.mq.edu.au/display/plrg/Reso...

Recommended by: @komar
Do you really want to delete ?