isabelle: File revisions

src/Provers/splitter.ML

1997-10-17	nipkow	1997-10-17	Added error messages.	file \| diff \| annotate
1997-10-10	wenzelm	1997-10-10	fixed dots;	file \| diff \| annotate
1997-07-22	paulson	1997-07-22	Removal of the tactical STATE	file \| diff \| annotate
1996-11-28	paulson	1996-11-28	Replaced map...~~ by ListPair.map	file \| diff \| annotate
1996-11-01	paulson	1996-11-01	Replaced min by Int.min	file \| diff \| annotate
1996-05-06	berghofe	1996-05-06	Rewrote mk_cntxt_splitthm. Added function mk_case_split_inside_tac.	file \| diff \| annotate
1996-04-25	berghofe	1996-04-25	Added functions mk_cntxt_splitthm and inst_split which instantiate the split-rule before it is applied. Inserted some comments.	file \| diff \| annotate
1995-04-16	nipkow	1995-04-16	Fixed bug.	file \| diff \| annotate
1995-04-13	nipkow	1995-04-13	Completely rewrote split_tac. The old one failed in strange circumstances.	file \| diff \| annotate
1995-03-08	nipkow	1995-03-08	Replaced read by read_cterm.	file \| diff \| annotate
1995-03-03	clasohm	1995-03-03	replaced Pure by ProtoPure	file \| diff \| annotate
1994-01-18	lcp	1994-01-18	Updated refs to old Sign functions	file \| diff \| annotate
1993-09-16	nipkow	1993-09-16	added header	file \| diff \| annotate
1993-09-16	clasohm	1993-09-16	Initial revision	file \| diff \| annotate

isabelle