pip: File revisions

Mercurial Mercurial > hg > pip / file revisions

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

Implementation.thy

Fri, 12 Feb 2016 17:50:24 +0800	zhangx	PIPBasics.thy is tidied up now.	file \| diff \| annotate
Fri, 12 Feb 2016 12:32:57 +0800	zhangx	Commenting of PIPBasics.thy almost completed. The last section needs to be distributed to Correctness.thy and Implementation.thy	file \| diff \| annotate
Mon, 08 Feb 2016 10:57:01 +0800	zhangx	More improvements in PIPBasics.thy and Implemenation.thy.	file \| diff \| annotate
Thu, 04 Feb 2016 14:45:30 +0800	zhangx	Several redundant lemmas removed.	file \| diff \| annotate
Thu, 04 Feb 2016 00:43:05 +0000	Christian Urban	updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015	file \| diff \| annotate
Wed, 03 Feb 2016 14:37:35 +0000	Christian Urban	updated files	file \| diff \| annotate
Wed, 03 Feb 2016 21:51:57 +0800	zhangx	A fake merge. Used to revert to 98	file \| diff \| annotate
Wed, 03 Feb 2016 21:05:15 +0800	zhangx	Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.	file \| diff \| annotate

less more (0) -10 -8 tip

pip