tm: Shortlog

Mercurial Mercurial > hg > tm / shortlog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -50 -24 +24 tip

2013-05-24	Christian Urban	completed the UF-simulation lemmas	changeset \| files
2013-05-24	Christian Urban	added definitions and proofs for right-std and left-std tapes	changeset \| files
2013-05-22	Christian Urban	moved new theries into a separate directory	changeset \| files
2013-05-21	Christian Urban	added more about UF	changeset \| files
2013-05-21	Christian Urban	more about the UF	changeset \| files
2013-05-16	Christian Urban	completed coding functions	changeset \| files
2013-05-15	Christian Urban	added recusive functions that decode triangle numbers	changeset \| files
2013-05-13	Christian Urban	added	changeset \| files
2013-05-13	Christian Urban	added papers	changeset \| files
2013-05-10	Christian Urban	added first version of natbiject	changeset \| files
2013-05-10	Christian Urban	added test version	changeset \| files
2013-05-09	Christian Urban	added lemmas about a pairing function	changeset \| files
2013-05-02	Christian Urban	polised a bit of the Recs-theory	changeset \| files
2013-05-02	Christian Urban	repaired old files	changeset \| files
2013-05-02	Christian Urban	eliminated explicit swap_lemmas	changeset \| files
2013-05-02	Christian Urban	separated recursive functions and UF	changeset \| files
2013-05-02	Christian Urban	introduced rec_if	changeset \| files
2013-05-01	Christian Urban	started with UF	changeset \| files
2013-04-30	Christian Urban	added max and lg functions	changeset \| files
2013-04-29	Christian Urban	added mechanizing separation algebra paper	changeset \| files
2013-04-26	Christian Urban	uodated	changeset \| files
2013-04-25	Christian Urban	added improved Recsursive function theory (not yet finished)	changeset \| files
2013-04-24	Christian Urban	updated	changeset \| files
2013-04-22	Christian Urban	used prime from the library	changeset \| files
Loading...

(0) -100 -50 -24 +24 tip

tm