Bean 'n' Burger Pockets

INGREDIENTS:

1/2 c Dry pinto; Roman, or other
-red beans
1/2 c Dry yellow split peas
1/2 c Dry green split peas
1/2 c Pearled barley
2 -(up to)
3 c Veg stock
1 Onion; chopped
2 tb Garlic; minced
1 ts Thyme
Pepper to taste
Salt to taste