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