tm: File revisions

Mercurial Mercurial > hg > tm / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

thys2/Recs.thy

Thu, 10 Jan 2019 12:48:43 +0000	Christian Urban	upodated to Isabelle 2016	file \| diff \| annotate
Sat, 27 Jul 2013 08:14:01 +0200	Christian Urban	updated	file \| diff \| annotate
Wed, 26 Jun 2013 14:35:43 +0100	Christian Urban	implemented new UF in scala; made some small adjustments to the definitions in the theory	file \| diff \| annotate
Sat, 25 May 2013 16:40:48 +0100	Christian Urban	polished Recs theory	file \| diff \| annotate
Sat, 25 May 2013 11:46:25 +0100	Christian Urban	finished recusive version of the UF	file \| diff \| annotate
Sat, 25 May 2013 01:32:35 +0100	Christian Urban	more rec-funs definitions	file \| diff \| annotate
Fri, 24 May 2013 22:18:52 +0100	Christian Urban	started with the definitions of the recursive functions for the UF	file \| diff \| annotate
Fri, 24 May 2013 15:43:10 +0100	Christian Urban	added definitions and proofs for right-std and left-std tapes	file \| diff \| annotate
Wed, 22 May 2013 13:50:20 +0100	Christian Urban	moved new theries into a separate directory	file \| diff \| annotate \| base

less more (0) tip

tm