diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 15:49:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 15:49:19 +0000 |
| commit | 3c1172df89651a9c95dcc02ea68f3868c4d480b5 (patch) | |
| tree | 388f706cd80020014adf1078c0e7d052edac4b32 /generic/pg-goals.el | |
| parent | 3f13842c9642d8e9c3e5a78a3c1089268b9fc84c (diff) | |
Add proof-shell-theorem-dependency-list-split
Diffstat (limited to 'generic/pg-goals.el')
0 files changed, 0 insertions, 0 deletions