| #
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
6711a250 |
|
18-Jul-2018 |
haftmann <none@none> |
slightly more canonical imports
--HG--
extra : rebase_source : 4592a2e23ad9db307cd288a83beb6d1dd900c73d
|
| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
f1e40569 |
|
06-Feb-2017 |
haftmann <none@none> |
extended syntax allows to include datatype constructors directly in computations
|
| #
fbb1f590 |
|
06-Feb-2017 |
haftmann <none@none> |
more computation antiquotations
|
| #
c49e85ad |
|
06-Feb-2017 |
haftmann <none@none> |
computations and partiality
|
| #
312efe97 |
|
06-Feb-2017 |
haftmann <none@none> |
tuned
|
| #
ff87130f |
|
27-Jan-2017 |
haftmann <none@none> |
ML antiquotation for generated computations
|