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