Achim D. Brucker
|
10a9b2514e
|
Ported to Isabelle 2016.
|
2016-08-02 13:42:54 +01:00 |
Achim D. Brucker
|
c028fc027e
|
Updated path to ofmc.thy.
|
2016-08-02 13:35:30 +01:00 |
Achim D. Brucker
|
781d13855a
|
Switched to plain Makefiles for build.
|
2016-08-02 13:30:24 +01:00 |
Achim D. Brucker
|
2c804039b5
|
Deleted outdated config.sml.in.
|
2016-08-02 12:50:09 +01:00 |
Achim D. Brucker
|
bb1c93b00e
|
Generated thy files for Isabelle 2015.
|
2016-08-02 12:49:06 +01:00 |
Achim D. Brucker
|
9ef8e90bd7
|
Removed outdated Isabelle files.
|
2016-08-02 12:47:41 +01:00 |
Achim D. Brucker
|
9f66f82aa8
|
Updated ofmc grammar and regenerated parser.
|
2016-08-02 12:45:50 +01:00 |
Achim D. Brucker
|
ec42f2f2de
|
Added timing of theory loading.
|
2016-08-02 12:41:10 +01:00 |
Achim D. Brucker
|
53cea57fb5
|
Cleanup (removed dead code).
|
2016-08-02 12:31:19 +01:00 |
Achim D. Brucker
|
0d6d685268
|
Removed outdated IsaMakefile.
|
2016-08-02 12:23:20 +01:00 |
Achim D. Brucker
|
aad1e984f9
|
Updated/clarified license information.
|
2016-08-02 09:52:39 +01:00 |
Achim D. Brucker
|
0407d94abd
|
Import of originally published version of isabelle-ofmc.
|
2009-11-02 14:14:13 +00:00 |