Index of /ftp/hvg/hol88/contrib/res_quan/help/entries

	Name	Last modified	Size	Description
	Parent Directory		-
	AND_RESQ_FORALL_CONV.doc.z	1993-04-16 09:44	296
	COND_REWRITE1_CONV.doc.z	1993-04-16 09:44	1.0K
	COND_REWRITE1_TAC.doc.z	1993-04-16 09:44	956
	COND_REWR_CANON.doc.z	1993-04-16 09:44	696
	COND_REWR_CONV.doc.z	1993-04-16 09:44	1.2K
	COND_REWR_TAC.doc.z	1993-04-16 09:44	2.0K
	GGEN_TAC.doc.z	1993-04-16 09:44	522
	GQSPEC.doc.z	1993-04-16 09:44	444
	GQSPECL.doc.z	1993-04-16 09:44	643
	GQSPEC_ALL.doc.z	1993-04-16 09:44	512
	IMP_RESQ_FORALL_CONV.doc.z	1993-04-16 09:44	297
	LIST_RESQ_FORALL_CONV.doc.z	1993-04-16 09:44	331
	RESQ_EXISTS_CONV.doc.z	1993-04-16 09:44	339
	RESQ_EXISTS_TAC.doc.z	1993-04-16 09:44	409
	RESQ_FORALL_AND_CONV.doc.z	1993-04-16 09:44	295
	RESQ_FORALL_CONV.doc.z	1993-04-16 09:44	336
	RESQ_FORALL_SWAP_CONV.doc.z	1993-04-16 09:44	341
	RESQ_GEN.doc.z	1993-04-16 09:44	501
	RESQ_GENL.doc.z	1993-04-16 09:44	530
	RESQ_GEN_ALL.doc.z	1993-04-16 09:44	351
	RESQ_GEN_TAC.doc.z	1993-04-16 09:44	509
	RESQ_HALF_EXISTS.doc.z	1993-04-16 09:44	358
	RESQ_HALF_GEN_TAC.doc.z	1993-04-16 09:44	454
	RESQ_HALF_SPEC.doc.z	1993-04-16 09:44	369
	RESQ_IMP_RES_TAC.doc.z	1993-04-16 09:44	389
	RESQ_IMP_RES_THEN.doc.z	1993-04-16 09:44	478
	RESQ_MATCH_MP.doc.z	1993-04-16 09:44	532
	RESQ_RES_TAC.doc.z	1993-04-16 09:44	465
	RESQ_RES_THEN.doc.z	1993-04-16 09:44	604
	RESQ_REWRITE1_CONV.doc.z	1993-04-16 09:44	715
	RESQ_REWRITE1_TAC.doc.z	1993-04-16 09:44	687
	RESQ_REWR_CANON.doc.z	1993-04-16 09:44	520
	RESQ_SPEC.doc.z	1993-04-16 09:44	610
	RESQ_SPECL.doc.z	1993-04-16 09:44	612
	RESQ_SPEC_ALL.doc.z	1993-04-16 09:44	500
	dest_resq_abstract.doc.z	1993-04-16 09:44	295
	dest_resq_exists.doc.z	1993-04-16 09:44	307
	dest_resq_forall.doc.z	1993-04-16 09:44	309
	dest_resq_select.doc.z	1993-04-16 09:44	303
	hol-init.ml.z	1993-04-16 09:44	331
	is_resq_abstract.doc.z	1993-04-16 09:44	230
	is_resq_exists.doc.z	1993-04-16 09:44	241
	is_resq_forall.doc.z	1993-04-16 09:44	241
	is_resq_select.doc.z	1993-04-16 09:44	239
	list_mk_resq_exists.doc.z	1993-04-16 09:44	369
	list_mk_resq_forall.doc.z	1993-04-16 09:44	372
	mk_resq_abstract.doc.z	1993-04-16 09:44	267
	mk_resq_exists.doc.z	1993-04-16 09:44	277
	mk_resq_forall.doc.z	1993-04-16 09:44	278
	mk_resq_select.doc.z	1993-04-16 09:44	275
	new_binder_resq_definition.doc.z	1993-04-16 09:44	1.0K
	new_infix_resq_definition.doc.z	1993-04-16 09:44	1.4K
	new_resq_definition.doc.z	1993-04-16 09:44	1.2K
	search_top_down.doc.z	1993-04-16 09:44	888
	strip_resq_exists.doc.z	1993-04-16 09:44	365
	strip_resq_forall.doc.z	1993-04-16 09:44	364