Cabbage Casserole

3/4 lb ground beef, cooked and drained
1 quart whole tomatoes, (1/2 whole, 1/2 pureed)
1 cup instant white rice
1/2 medium-sized cabbage
1/2 c. water

Place all ingredients in pressure cooker.  Bring to pressure according to your cooker's instructions.  Once at pressure, cook for 5 minutes.  COOL AT ONCE.   Serve with garlic salt and vinegar, if desired.