[isabelle-dev] NEWS
Lars Hupel
hupel at in.tum.de
Wed Mar 13 21:04:14 CET 2019
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
>
Or maybe as implicit part of
>
>
isabelle ocaml_setup
Sure, that could also work.
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list