Relaxed separation logic formalization

Version 1.1, released 2016-03-22
Copyright (c) Viktor Vafeiadis

This page has been generated by coqdoc