William J. Bowman
|
ec95026066
|
Renamed kernel to curnel. An important pun.
|
2015-01-29 22:44:30 -05:00 |
|
William J. Bowman
|
96f9343029
|
Reorganizing "pltools" to be more suggestive
|
2015-01-27 19:10:54 -05:00 |
|
William J. Bowman
|
9ebc1723c6
|
Renamed project to cur. tehe
|
2015-01-27 19:07:17 -05:00 |
|
William J. Bowman
|
a5358575f3
|
Fixed to well-formed env, tinkering with PFF
|
2014-08-01 16:54:37 +02:00 |
|
William J. Bowman
|
ff4bd337fb
|
Added implementation of proofs for free extension
* Implemented the dual-mode extension to proofs for free, complete with
a neat theorem.
|
2014-07-28 18:25:42 +02:00 |
|