Achim D. Brucker
|
faae943ad9
|
Fixed serializer for definitions using equality from Pure.
adbrucker/isabelle-hacks/master This commit looks good
Details
|
2019-01-24 23:20:56 +00:00 |
Achim D. Brucker
|
05741ac245
|
Improved representation of IEEE reals.
|
2019-01-24 22:51:30 +00:00 |
Achim D. Brucker
|
dd8a141d5d
|
Code improvement: use actual proof context.
adbrucker/isabelle-hacks/master This commit looks good
Details
|
2019-01-21 23:03:45 +00:00 |
Achim D. Brucker
|
1a88f7c6c3
|
Added inline Changelot to each theory file.
|
2019-01-21 17:10:30 +00:00 |
Achim D. Brucker
|
64055200c6
|
First serializer implementation.
|
2019-01-21 15:54:49 +00:00 |
Achim D. Brucker
|
41634c70ac
|
Added parser and overall cleanup.
|
2019-01-21 09:49:22 +00:00 |
Achim D. Brucker
|
338dcc874a
|
Added serializer implementation.
|
2019-01-20 20:19:41 +00:00 |
Achim D. Brucker
|
1be7bfd514
|
Defined HOL and ML data types for Nano JSON and implemented conversion between them.
|
2019-01-20 19:57:44 +00:00 |
Achim D. Brucker
|
c9a174bdbc
|
Initial commit.
|
2019-01-19 08:23:18 +00:00 |