Achim D. Brucker
|
868cfc53a3
|
Added reference to the isabelle-hacks repository.
|
2018-06-22 16:51:47 +01:00 |
Achim D. Brucker
|
39ca1b5dc0
|
Moved hide_tvar_subst_ast_tr into structure Hide_Tvar.
|
2018-06-22 16:07:03 +01:00 |
Achim D. Brucker
|
b493001ea6
|
Added asserts for type variable customization.
|
2018-06-22 15:56:20 +01:00 |
Achim D. Brucker
|
251414e8b4
|
Cleanup of parse translation hide_tvar_subst_ast_tr.
|
2018-06-22 15:45:29 +01:00 |
Achim D. Brucker
|
3c1b07e065
|
Introduced ._ and _. notation to override first/last default type variables.
|
2018-06-22 15:43:07 +01:00 |
Achim D. Brucker
|
54d9b20cc4
|
Implemented print mode (only apply print translation if default types match).
|
2018-06-21 23:08:39 +01:00 |
Achim D. Brucker
|
66307c1c2b
|
Made top-level user interface more consistent.
|
2018-06-21 21:34:57 +01:00 |
Achim D. Brucker
|
92ea551113
|
Support type synonyms as output notation.
|
2018-06-21 21:24:20 +01:00 |
Achim D. Brucker
|
66101d2527
|
Changed styntax for type wildcard from __ to (_).
|
2018-06-20 10:57:09 +01:00 |
Achim D. Brucker
|
8e9a19266a
|
Support type synonyms as input notation.
|
2018-06-18 13:32:18 +01:00 |
Achim D. Brucker
|
3b0a88dfa6
|
Renamed theories to comply to Isabelle's naming convention.
|
2018-06-18 09:50:22 +01:00 |