Dmitry Stefantsov 41f1407ca8 [kernel-f11n] Prove that valid configuration is well-formed ...

Bug:
Change-Id: Ib7272cbe377f9e8c71ca4d289d170a0cc173ba6b
Reviewed-on: https://dart-review.googlesource.com/12640
Reviewed-by: Samir Jindel <sjindel@google.com>

2017-10-12 14:13:58 +00:00

..

_CoqProject

…

build.sh

…

Common.v

…

CommonTactics.v

…

ho-interpreter.sml

…

ObjectModel.v

…

OperationalSemantics.v

…

OperationalSemanticsProof.v

…

Syntax.v

…

SyntaxRaw.v

…