Spec.v

Require Export TableDataOpsIntro.Specs.table_create.
Require Export TableDataOpsIntro.Specs.table_destroy.
Require Export TableDataOpsIntro.Specs.table_map.
Require Export TableDataOpsIntro.Specs.table_unmap.
Require Export TableDataOpsIntro.Specs.data_create.
Require Export TableDataOpsIntro.Specs.data_create_unknown.
Require Export TableDataOpsIntro.Specs.data_destroy.