Index of /~henryjen/ccc/8012645.0/specdiff/pics/

../
assertion.gif                                      17-Jun-2013 15:38                 131
close_quote.gif                                    17-Jun-2013 15:38                 495
invalidSpecDoc.gif                                 17-Jun-2013 15:38                 345
l.gif                                              17-Jun-2013 15:38                 111
nonrevisedContextBadge.gif                         17-Jun-2013 15:38                  91
nontestableAssertionBadge.gif                      17-Jun-2013 15:38                 190
nontestableContextBadge.gif                        17-Jun-2013 15:38                 190
open_quote.gif                                     17-Jun-2013 15:38                 489
r.gif                                              17-Jun-2013 15:38                 111
revisedContextBadge.gif                            17-Jun-2013 15:38                  75
specDoc.gif                                        17-Jun-2013 15:38                 580
testableContextBadge.gif                           17-Jun-2013 15:38                 296