diff options
| author | Pierre Courtieu | 2002-06-19 18:13:50 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2002-06-19 18:13:50 +0000 |
| commit | 3777575a5437433c3261596fe9373040003b2da5 (patch) | |
| tree | 6ab4cac1888a8987e246a741582c2656be94c0be /isa/Example.thy | |
| parent | 73fdbe811271f196a94c6c0181776c23f9215e53 (diff) | |
Updated the doc and the CHANGES file about new backtracking for Coq.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions