├── LICENSE ├── Make ├── README.md ├── src ├── constructors.ml4 ├── constructors_plugin.mllib └── constructors_plugin_mod.ml ├── test-suite └── constructortac.v └── theories ├── Constructors.v └── Dynamic.v /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattam82/Constructors/HEAD/LICENSE -------------------------------------------------------------------------------- /Make: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattam82/Constructors/HEAD/Make -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattam82/Constructors/HEAD/README.md -------------------------------------------------------------------------------- /src/constructors.ml4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattam82/Constructors/HEAD/src/constructors.ml4 -------------------------------------------------------------------------------- /src/constructors_plugin.mllib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattam82/Constructors/HEAD/src/constructors_plugin.mllib -------------------------------------------------------------------------------- /src/constructors_plugin_mod.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattam82/Constructors/HEAD/src/constructors_plugin_mod.ml -------------------------------------------------------------------------------- /test-suite/constructortac.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattam82/Constructors/HEAD/test-suite/constructortac.v -------------------------------------------------------------------------------- /theories/Constructors.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattam82/Constructors/HEAD/theories/Constructors.v -------------------------------------------------------------------------------- /theories/Dynamic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattam82/Constructors/HEAD/theories/Dynamic.v --------------------------------------------------------------------------------