tm: Shortlog

2013-01-23	Christian Urban	tuned	changeset \| files
2013-01-23	Christian Urban	tuned	changeset \| files
2013-01-23	Christian Urban	using some abbreviations	changeset \| files
2013-01-23	Christian Urban	tuned more	changeset \| files
2013-01-23	Christian Urban	also polished uh_h proof	changeset \| files
2013-01-23	Christian Urban	updated h_uh proof in uncomputable	changeset \| files
2013-01-23	Christian Urban	small updates	changeset \| files
2013-01-22	Christian Urban	updated	changeset \| files
2013-01-22	Christian Urban	updated files	changeset \| files
2013-01-20	Christian Urban	new version of abacus	changeset \| files
2013-01-20	Christian Urban	polished turing_basic	changeset \| files
2013-01-19	Christian Urban	more proofs polished	changeset \| files
2013-01-19	Christian Urban	more proofs polished	changeset \| files
2013-01-19	Christian Urban	some small changes to turing and uncomputable	changeset \| files
2013-01-19	Christian Urban	added turing_hoare	changeset \| files
Loading...