diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-01-07 14:02:58 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-07 14:02:58 -0500 |
| commit | a9f87e669faf36223c24f98f945616ab05aab8d5 (patch) | |
| tree | 1779915b8b421011dba936447d059ac932cb30b7 /Makefile.in | |
| parent | 5b7e350bbb440255b866a14d59b69f9d8e411f36 (diff) | |
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions