diff options
| author | Brian Campbell | 2018-05-04 18:52:50 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-04 18:52:50 +0100 |
| commit | 714d62a0ea695081ad16d2cfac0997024eb13de9 (patch) | |
| tree | 451c14fb1dab544acc6a057950198a4b0d0d9f6c /lib/isabelle | |
| parent | e87d2f43beb17cec230d359189842afc5dfcb3b7 (diff) | |
Fix missing nexp id rewriting
Diffstat (limited to 'lib/isabelle')
0 files changed, 0 insertions, 0 deletions