Index of /~scd/Dafny_Material

	Name	Last modified	Size	Description
	Parent Directory		-
	Arrays_Bubble_Sort.dfy	2013-05-30 15:53	6.2K
	Arrays_Insertion_Sort.dfy	2013-06-02 15:44	2.8K
	Arrays_Insertion_Sort_SA.txt	2013-06-02 16:49	7.1K
	BinarySearch.dfy	2013-05-22 02:36	937
	Change.dfy	2013-05-23 04:34	1.9K
	Change_SA.dfy	2013-05-23 04:33	11K
	Exercises_ Arithm_Terms_Loops.docx	2013-05-29 15:31	48K
	Exercises_Change.docx	2013-05-23 04:36	36K
	Exercises_Flattening.docx	2013-05-23 23:30	40K
	Exercises_Insertion_Sort.docx	2013-06-02 16:50	38K
	Exercises_Lists.docx	2013-05-22 22:45	36K
	Exercises_Max_And_Product.docx	2013-05-29 16:23	48K
	Exercises_Tail_Recursion.docx	2013-05-23 20:32	42K
	Lectures.docx	2013-06-02 16:53	622K
	Lectures.pdf	2013-11-23 06:40	7.7M
	List.dfy	2013-05-22 21:54	1.2K
	List_SA.dfy	2013-05-22 22:38	9.5K
	Loop_For_Calculations.dfy	2013-05-05 19:54	423
	Loops_For_Calculations_SA.dfy	2013-04-15 17:26	2.2K
	Max_Product_SA.dfy	2013-05-29 16:22	2.5K
	README.docx	2013-06-03 14:41	38K
	Repeat_n_times.dfy	2013-05-23 20:25	2.6K
	TailRecursion.dfy	2013-05-23 20:07	1.4K
	TailRecursionFib.dfy	2013-05-23 20:10	1.2K
	TreeFlattenRaiseLists.dfy	2013-05-23 23:25	3.0K
	TreeFlattenRaiseLists_SA.dfy	2013-05-23 23:24	5.6K
	TreeFlattenRaiseSequences.dfy	2013-05-23 23:11	1.5K
	TreeFlattenRaiseSequences_SA.dfy	2013-05-24 08:11	4.7K
	cp	2014-02-13 19:40	0