Marcel Moolenaar 5b6a41bddf Add the bits for a LINT kernel. It has been verified to compile. We ... may need to polish this.		2003-08-23 21:47:33 +00:00
..
GENERIC
GENERIC.hints
Makefile	Add the bits for a LINT kernel. It has been verified to compile. We	2003-08-23 21:47:33 +00:00
NOTES	Add the bits for a LINT kernel. It has been verified to compile. We	2003-08-23 21:47:33 +00:00
SKI	Remove INVARIANT* and WITNESS. This makes the simulator much more	2003-07-25 07:52:20 +00:00