diff options
| author | Makarius Wenzel | 2002-08-27 14:44:30 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2002-08-27 14:44:30 +0000 |
| commit | 49fb1daa65bc5e3a1feaad0345fb693d15f9448f (patch) | |
| tree | 8bb4ea103511a03da9be206700e43080bf3ff4d1 /generic | |
| parent | 09711814a89c22e06055a6ff560b76ed41f9619a (diff) | |
proper setup for theorem dependencies;
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions