Achim D. Brucker
|
50219d34cc
|
Removed Nano_JSON, which is is now an official AFP entry: https://www.isa-afp.org/entries/Nano_JSON.html
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-10-29 20:36:43 +01:00 |
Achim D. Brucker
|
6eb7d1cde3
|
Renaming to comply with the usual naming convention that theory names start with an uppercase letter.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-04-02 13:12:59 +01:00 |
Achim D. Brucker
|
10c0ebcd38
|
Initial commit: example of a simple external oracle.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-21 06:50:23 +00:00 |
Achim D. Brucker
|
9c4a2d9483
|
Integrated fxp and ml_yacc_lib.
|
2021-04-28 10:00:12 +01:00 |
Achim D. Brucker
|
f2566edeec
|
Initial commit: SML Code Reflection
adbrucker/isabelle-hacks/master This commit looks good
Details
|
2019-08-15 20:48:07 +01:00 |
Achim D. Brucker
|
b0f0d93440
|
Initial document generation support.
|
2019-01-21 16:57:04 +00:00 |
Achim D. Brucker
|
5346943a2b
|
Added Nano_JSON.thy.
|
2019-01-21 15:56:19 +00:00 |
Achim D. Brucker
|
3b0a88dfa6
|
Renamed theories to comply to Isabelle's naming convention.
|
2018-06-18 09:50:22 +01:00 |
Achim D. Brucker
|
2577669f5f
|
Added hiding_type_variables.thy.
|
2018-06-17 21:38:59 +01:00 |
Achim D. Brucker
|
9403f7449c
|
Initial commit.
|
2018-06-17 00:00:46 +01:00 |