26 Commits (master)
 

Author SHA1 Message Date
Achim D. Brucker 26ce1b6147 Added DOI for CSF paper. 2 years ago
Achim D. Brucker dd7720682e Added reference to successor project. 2 years ago
Achim D. Brucker af43be20ef Added master repository URL. 4 years ago
Achim D. Brucker 9d0641480a Added SPDX License Identifier. 4 years ago
Achim D. Brucker 49054ca8ce Cleanup of Markdown. 4 years ago
Achim D. Brucker 8d16f2b40f Updated description and clarified Isabelle version. 6 years ago
Achim D. Brucker 65583684a1 Makefile for generating theory files. 6 years ago
Achim D. Brucker 10a9b2514e Ported to Isabelle 2016. 6 years ago
Achim D. Brucker 35fd91aad5 Regenerated example theory file. 6 years ago
Achim D. Brucker c028fc027e Updated path to ofmc.thy. 6 years ago
Achim D. Brucker 805e67fefb Ignore generated binary. 6 years ago
Achim D. Brucker 781d13855a Switched to plain Makefiles for build. 6 years ago
Achim D. Brucker 2c804039b5 Deleted outdated config.sml.in. 6 years ago
Achim D. Brucker bb1c93b00e Generated thy files for Isabelle 2015. 6 years ago
Achim D. Brucker 9ef8e90bd7 Removed outdated Isabelle files. 6 years ago
Achim D. Brucker 9f66f82aa8 Updated ofmc grammar and regenerated parser. 6 years ago
Achim D. Brucker ec42f2f2de Added timing of theory loading. 6 years ago
Achim D. Brucker 53cea57fb5 Cleanup (removed dead code). 6 years ago
Achim D. Brucker 0d6d685268 Removed outdated IsaMakefile. 6 years ago
Achim D. Brucker aad1e984f9 Updated/clarified license information. 6 years ago
Achim D. Brucker 22da81b807 Updated readme. 6 years ago
Achim D. Brucker 3212d103b1 Updated readme and added citation information. 6 years ago
Achim D. Brucker be33b1158c Updated license (to a 2-clause BSD-style license). 6 years ago
Achim D. Brucker beb6c839ef Renaming to start conversion to markdown. 6 years ago
Achim D. Brucker 38c374f657 Updated file/directory structure to match new standard naming/layout. 6 years ago
Achim D. Brucker 0407d94abd Import of originally published version of isabelle-ofmc. 13 years ago