src/Provers/splitter.ML
1995-03-08 nipkow 1995-03-08 Replaced read by read_cterm.
1995-03-03 clasohm 1995-03-03 replaced Pure by ProtoPure
1994-01-18 lcp 1994-01-18 Updated refs to old Sign functions
1993-09-16 nipkow 1993-09-16 added header
1993-09-16 clasohm 1993-09-16 Initial revision