3 Commits (cbc8976e46ce9a72bafc9914c82cf1513bb9ac0c)

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