Skip to content
Find file Blame History Permalink
  • chak@cse.unsw.edu.au.'s avatar
    Add some invariant checking for refinements · 4ea5fe11
    chak@cse.unsw.edu.au. authored 
    Mon Sep 18 17:09:56 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Add some invariant checking for refinements
  Sun Aug  6 20:30:56 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Add some invariant checking for refinements
    Tue Aug  1 08:52:43 EDT 2006  simonpj@microsoft.com
    4ea5fe11