diff options
| author | Tej Chajed | 2016-08-25 14:02:04 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel | 2016-08-25 14:02:04 -0400 |
| commit | 64ca55b1593fff8cfffab89c51d7e92c1a68dc27 (patch) | |
| tree | 8881ce3873454b50e36fbb26307e1523f8f9a707 /hol98/example.sml | |
| parent | a7c5e29ba9a6364e851fd4aa0924395c59cb324e (diff) | |
Ensure PG overlays have pg-span property (#98)
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions