Hets - the Heterogeneous Tool Set

Stabilityexperimental
Safe HaskellSafe

TopHybrid

Description

This folder contains the files for Top Hybrid Logic basic specs.