diff options
| author | Pierre Courtieu | 2006-09-29 12:57:56 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-29 12:57:56 +0000 |
| commit | 967d89fb4807e6a24599e5cae2c2827209fde7b6 (patch) | |
| tree | ebb56bf6fe6d4c0e46e3d4e0d3866a431221bdd2 /isa/Example.thy | |
| parent | 20a015dc14428774fc0feb4edbeb640e17cb6b00 (diff) | |
fixed a bug with wakeup char for coq.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions