GiNaC/check timer.h Makefile.am timer.cpp times.h

[Christian Bauer]

Update of /home/cvs/GiNaC/check

Modified Files:
      Tag: ginac_1-2
	Makefile.am timer.cpp times.h 
Added Files:
      Tag: ginac_1-2
	timer.h 
Log Message:
the timer class now has its own header file