Green Tomato Pickle

One peck of green tomatoes sliced; one dozen onions sliced; sprinkle with salt, and let them stand until the next day; then drain them. Use the following spices: one box of mustard<