diff options
| author | David Aspinall | 2012-02-07 11:20:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-02-07 11:20:14 +0000 |
| commit | 5f7695ac97fe7e624f00954fa39b1b6149427654 (patch) | |
| tree | 872d30079ced2442854969b2fa3e9291d9ad0601 /hol-light | |
| parent | 04845cc6d877bc23976befc9a9d08b873a2a47ad (diff) | |
New pseudo instances to help tool demonstrators in ocaml/ghci (in progress)
Diffstat (limited to 'hol-light')
0 files changed, 0 insertions, 0 deletions