tree 36f1ea7bd58f03d2541e9684530e55db0b5166bd
parent 47d60740b2e88013ec9097010a89231b7e9fa533
author Dmitry Stefantsov <dmitryas@google.com> 1505747783 +0000
committer Dmitry Stefantsov <dmitryas@google.com> 1505747783 +0000

[kernel] Add the first draft of Kernel operational semantics in Coq

The semantics is defined for a small subset of Kernel.

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