author | Aaron Taylor <ataylor@subgeniuskitty.com> | |
Fri, 26 Jul 2019 07:39:53 +0000 (00:39 -0700) | ||
committer | Aaron Taylor <ataylor@subgeniuskitty.com> | |
Fri, 26 Jul 2019 07:39:53 +0000 (00:39 -0700) | ||
commit | 3eaa958a01e1c70c313fb887ab2d2f723dd9062e | |
tree | bb6ce49bce413d5e11f50f2247b430e39c396944 | tree |
parent | e0d5136cb09e6ac4680796af169a611ff6c97996 | commit | diff |
stdlib/logic.pvvs | diff | blob | blame | history |