dafny1 « Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
-rw-r--r--	Answer	3932	log plain
-rw-r--r--	BQueue.bpl	15402	log plain
-rw-r--r--	BinaryTree.dfy	6369	log plain
-rw-r--r--	Celebrity.dfy	2316	log plain
-rw-r--r--	Cubes.dfy	505	log plain
-rw-r--r--	ExtensibleArray.dfy	3572	log plain
-rw-r--r--	FindZero.dfy	2482	log plain
-rw-r--r--	Induction.dfy	6166	log plain
-rw-r--r--	KatzManna.dfy	1553	log plain
-rw-r--r--	ListContents.dfy	2793	log plain
-rw-r--r--	ListCopy.dfy	1467	log plain
-rw-r--r--	ListReverse.dfy	860	log plain
-rw-r--r--	MatrixFun.dfy	2907	log plain
-rw-r--r--	MoreInduction.dfy	2386	log plain
-rw-r--r--	PriorityQueue.dfy	5788	log plain
-rw-r--r--	Queue.dfy	4597	log plain
-rw-r--r--	Rippling.dfy	12921	log plain
-rw-r--r--	SchorrWaite.dfy	12084	log plain
-rw-r--r--	SeparationLogicList.dfy	5306	log plain
-rw-r--r--	Substitution.dfy	2847	log plain
-rw-r--r--	SumOfCubes.dfy	2271	log plain
-rw-r--r--	TerminationDemos.dfy	2169	log plain
-rw-r--r--	TreeDatatype.dfy	2046	log plain
-rw-r--r--	UltraFilter.dfy	3223	log plain
-rw-r--r--	UnboundedStack.dfy	2506	log plain
-rw-r--r--	pow2.dfy	895	log plain
-rw-r--r--	runtest.bat	961	log plain