diff options
| author | David Aspinall | 2009-09-10 08:49:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-10 08:49:46 +0000 |
| commit | fa5ab22e50afb88abc34258679990abfea4c19bd (patch) | |
| tree | 9b0fd031719496bafa6e55e6665a9b1c6aa2a554 /coq | |
| parent | 1769db4c1d1ae4ca32a04acbd2c247a803bf4af0 (diff) | |
Move defpacustom here. Move message functions to proof-shell. Fix requires.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions