diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2014-09-16 16:55:56 +0200 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2014-09-16 16:55:56 +0200 |
commit | 6110679beeb0a88da65d517d2d79277151dd7798 (patch) | |
tree | 2fadab8fef35f95b0d2497132456a12efb3fbfeb /lib/lists.nix | |
parent | 3224b32e64e7b6fadaff254d1161bfb5b74ff088 (diff) |
Update hol_light to r198. Add myself as a maintainer
Diffstat (limited to 'lib/lists.nix')
0 files changed, 0 insertions, 0 deletions