Index of /cs3650/parent/tla+/toolbox/plugins/org.lamport.tlatools_1.0.0.201710061831/tla2sany/StandardModules

	Name	Last modified	Size	Description
	Parent Directory		-
	Bags.tla	2017-10-06 20:32	7.7K
	FiniteSets.tla	2017-10-06 20:32	1.3K
	Integers.tla	2017-10-06 20:32	513
	Naturals.tla	2017-10-06 20:32	709
	RealTime.tla	2017-10-06 20:32	848
	Reals.tla	2017-10-06 20:32	686
	Sequences.tla	2017-10-06 20:32	3.4K
	TLC.tla	2017-10-06 20:32	1.5K