26 Commits (master)
 

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