diff options
author | 1999-10-20 13:55:42 +0000 | |
---|---|---|
committer | 1999-10-20 13:55:42 +0000 | |
commit | 184faa177451c95b89433ebe7eb0929cfff4e97c (patch) | |
tree | b1914a068ffddf32f4df120280d02e6645858a84 /generic/proof-site.el | |
parent | 1952267fc00a1c91b25d79a541be7b65a199dfce (diff) |
theory loader actions now that of PG/isa;
Diffstat (limited to 'generic/proof-site.el')
0 files changed, 0 insertions, 0 deletions