3 Commits (187f2d2284c62081e90d95da16d1150ee3f554e3)

Author	SHA1	Message	Date
Slava Pestov	e965801789	merged stack continuations combinators and logic vocabularies into kernel vocabulary	2004-12-11 00:29:07 +00:00
Slava Pestov	3843ebb744	move some words to math-internals	2004-12-10 23:38:40 +00:00
Slava Pestov	beeada9220	more rearrangement	2004-11-26 02:53:27 +00:00