diff options
| author | Pierre Courtieu | 2013-07-05 14:49:04 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2013-07-05 14:49:04 +0000 |
| commit | d723e8eb8d9db658ddf758980d603cb16682aef4 (patch) | |
| tree | a9ca444836bcd85dea3d73c47d5a3dcf4987c63a /isar/Example.thy | |
| parent | 85434fdd653befc5e6e87818dd94bdb5076a7212 (diff) | |
Updating pg documentation about new feature coq project file.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions