correctness-model/writeup/CVS/Entries

   1 /confstrs-abbrv.bib/1.1/Wed Jan 14 22:53:32 2015//
   2 /confstrs-long.bib/1.1/Wed Jan 14 22:53:32 2015//
   3 /sig-alternate.cls/1.1/Wed Jan 14 22:53:32 2015//
   4 D/figures////
   5 /makefile/1.2/Fri Jan 23 17:16:19 2015//
   6 /spell.lst/1.1/Fri Jan 23 05:47:30 2015//
   7 /abstract.tex/1.2/Fri Jan 23 22:58:26 2015//
   8 /conclusion.tex/1.2/Fri Jan 23 22:58:26 2015//
   9 /related.tex/1.2/Fri Jan 23 22:58:26 2015//
  10 /speccfg.tex/1.1/Fri Jan 23 22:58:26 2015//
  11 /technical.tex/1.1/Fri Jan 23 22:58:26 2015//
  12 /paper.tex/1.6/Fri Jan 23 23:30:25 2015//
  13 /paper.bib/1.3/Sat Jan 24 00:47:32 2015//
  14 /memorymodel.tex/1.8/Sat Jan 24 01:51:58 2015//
  15 /introduction.tex/1.36/Sat Jan 24 03:09:04 2015//
  16 /example.tex/1.19/Sat Jan 24 03:36:11 2015//
  17 /specification.tex/1.59/Sat Jan 24 04:47:54 2015//
  18 /implementation.tex/1.16/Sat Jan 24 05:04:07 2015//
  19 /evaluation.tex/1.21/Sat Jan 24 05:35:18 2015//