 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 |
