diff options
| author | Matthieu Sozeau | 2014-04-08 12:57:17 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-05-06 09:58:59 +0200 |
| commit | 4d779fe8ff9c2b81eddb671dc0e60d3743357ce5 (patch) | |
| tree | 01716d27a6fea100d8ee450a27cdfbec3791ca79 /proofs | |
| parent | 4cb7fe525a472928aee02d772458d28a2b71072a (diff) | |
Retype application of fix_proto to get the right universes in Program
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions