Newsgroups: comp.ai,comp.ai.shells
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!yeshua.marcam.com!charnel.ecst.csuchico.edu!olivea!news.hal.COM!decwrl!netcomsv!netcom.com!jenngang
From: jenngang@netcom.com (Jenngang Shih)
Subject: Induction tool for Mainframes ???
Message-ID: <jenngangCw1IKG.Iox@netcom.com>
Summary: Are there any Mainframe Induction tools
Keywords: Induction Mainframe
Organization: NETCOM On-line Communication Services (408 261-4700 guest)
X-Newsreader: TIN [version 1.2 PL1]
Date: Mon, 12 Sep 1994 23:29:03 GMT
Lines: 8
Xref: glinda.oz.cs.cmu.edu comp.ai:24232 comp.ai.shells:1802

Does anyone know about any Symbolic Induction tools that work on an IBM 
mainframe?  Info about this is greatly appreciated.


-- 

     Jenngang

