Fri, 14 Apr 1995 11:24:10 +0200 Renamed diff_sing_lepoll, lepoll_diff_sing and diff_sing_eqpoll
lcp [Fri, 14 Apr 1995 11:24:10 +0200] rev 1055
Renamed diff_sing_lepoll, lepoll_diff_sing and diff_sing_eqpoll to Diff_sing_lepoll, lepoll_Diff_sing and Diff_sing_eqpoll for consistency. Strengthened lepoll_Diff_sing. (Thanks to KG)
Fri, 14 Apr 1995 11:22:30 +0200 Updated CADE reference
lcp [Fri, 14 Apr 1995 11:22:30 +0200] rev 1054
Updated CADE reference
Fri, 14 Apr 1995 11:20:53 +0200 Removes (obsolete) target if already present.
lcp [Fri, 14 Apr 1995 11:20:53 +0200] rev 1053
Removes (obsolete) target if already present.
Thu, 13 Apr 1995 17:05:41 +0200 Olafs new version.
nipkow [Thu, 13 Apr 1995 17:05:41 +0200] rev 1052
Olafs new version.
Thu, 13 Apr 1995 16:57:18 +0200 Directory example is now called NTP
nipkow [Thu, 13 Apr 1995 16:57:18 +0200] rev 1051
Directory example is now called NTP
Thu, 13 Apr 1995 16:55:14 +0200 ABP: Alternating bit protocol example
nipkow [Thu, 13 Apr 1995 16:55:14 +0200] rev 1050
ABP: Alternating bit protocol example
Thu, 13 Apr 1995 16:53:15 +0200 New ROOT file.
nipkow [Thu, 13 Apr 1995 16:53:15 +0200] rev 1049
New ROOT file.
Thu, 13 Apr 1995 15:38:07 +0200 New example by Ole Rasmussen
lcp [Thu, 13 Apr 1995 15:38:07 +0200] rev 1048
New example by Ole Rasmussen
Thu, 13 Apr 1995 15:13:27 +0200 Simplified some proofs and made them work for new hyp_subst_tac.
lcp [Thu, 13 Apr 1995 15:13:27 +0200] rev 1047
Simplified some proofs and made them work for new hyp_subst_tac.
Thu, 13 Apr 1995 15:08:39 +0200 expandshort
lcp [Thu, 13 Apr 1995 15:08:39 +0200] rev 1046
expandshort
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip